если ты пытаешься присвоить к строке литерал числа - ты получишь ошибку при компиляции если ты пытаешься присвоить к строке ответ от сервера - ты тоже можешь получить ошибку
лично я, не вижу блокеров сделать его soundness придётся попотеть с эмитом рантайм проверок, но это же вроде реально, но я скорее всего чего-то не знаю
а у тебя были какие то проблемы с этим? много ошибок в рантайме?