В
потому что это never type. Любой ненаселенный тип это боттом. В теоркате можно это даже доказать формально
эх, понятно
Size: a a a
2020 August 05
p
Это к туллингу относиться
нет.
SP
зря вы кстати им про правила задвигаете. это ж интерпретируется как ОГРАНИЧИВАЮТ ШВАБОДКУ РЯ
SP
надо исходить из того что типы ты пишешь для себя чтобы меньше думать, а не чтобы навесить строгость
AZ
Ну в принципе в расте можно сделать
На счёт второго так и не понял,
hole::<fn(i32, i32) -> i32>()(1, 2), но вывод типов уже очевидно не работает, тут понял.На счёт второго так и не понял,
hole возвращает T никаких ! ты не видишь, это деталь реализациину возвращаемый тип выводится. Теперь если сделать варарг произвольных аргументов то получатся дырки
AZ
в них ещё удобно то что для них ИДЕ позволяет генерировать функции которые дырке соответствуют
В
в них ещё удобно то что для них ИДЕ позволяет генерировать функции которые дырке соответствуют
Это круто
В
Спасибо что объяснил
AZ
не за что
AZ
Обратите внимание на картинку
AZ
где-то видел более крутую статью но найти не могу
В
🤔
AZ
Вот поинтереснее оттуда же
В
ОРУ
В
там в начале issue пометили как дубликат самого себя
В
В
Логично
p
нихрена се