тоже было интересно это, но не нашел решений)
Я использую assert или power-assert где возможно. Последний в основном в автотестах )
я тут думал, а можно ли в компайл тайме сгенерить либу рантайм проверялок типов по d.ts. Ведь у тайпы есть флаг сгенерить d.ts по твоему коду. И все выходы в unsafe закрутить в эти проверялки. Тормозить конечно будет, но поэкспериментировать можно.
Обсуждают сегодня