нее может быть дроп, кроме тривиального (ничего не делать)? а дефолт на этапе компиляции резолвится, ему значение вообще не нужно, только тип, так что хоть для never я думаю можно default реализовать
А смысл в том, что я GAT хочу ) Не вижу причин, почему у примитива не может быть нетривиального дропа. Дроп точно так-же как и Default должен на этапе компиляции резолвиться.
Обсуждают сегодня