и гавкать, и на воде держаться?
по идее должен, ведь на самом деле у тебя не будет возможности сделать ни то, ни другое
В теории должен. А на практике ты себе это как представляешь?)
на практике это невозможно
такое не должны были вводить, или обработать подобные кейсы. Реально тут ничего особого страшного нет - редкий кейс. Просто как "проблема" языка
> Не нужно рассказывать мне что Nothing - это другое (по факту это другое).
Нет, ну конечно, val dog: Dog = TODO() dog.bark() так и работает. Но без получения типа, методы которого тебе на Nothing нужны, я себе этого не представляю.
я о том, что для это будет слишком сложно для анализа, но по идее val dog: Nothing = TODO dog.bark() в рантайме абсолютно нормально проживёт, т.к. до барка даже не дойдет
Обсуждают сегодня