@elwld обойти то можно, но...
Если весь код писать через такие обходы, это будет очень больно. Проще подумать и написать нормально. Эти обходы нужны для специфичных случаев, где компилятор не может вывести гарантии, и над таким кодом пишется безопасный интерфейс, делающий необходимые проверки
@mo вот о чем я и говорю. Мне кажется что это костыль.