D
там проблема в реализации
(в реализации вывода)
(в реализации вывода)
Size: a a a
2020 August 14
t
он резолвится потому что это костыль временный
он резолвится, потому что ! в любой тип коэрсится
RP
он резолвится, потому что ! в любой тип коэрсится
в -> impl он резолвится в ()
H
не, там есть дорожная карта в issue в которой один из пунктов убрать авторезолв
! в ()AD
Agrailag
Раст уже распределен по другим конторам в принципе, зачем Майкрософт?
Чтобы добавить в раст поддержку COM/ActiveX
D
в -> impl он резолвится в ()
не совсем
EG
И ещё у трейтов не хватает выразительности, чтобы имплементировать
Iterator<T> для ! для любого TD
в -> impl он резолвится в ()
скорее, он резолвится в
(), когда не знает, во что конкретно зарезолвитсяEG
impl Iterator for Never {
type Item = for<T> T;
fn next(&mut self) -> Option<Self::Item> {
match self { }
}
}Нужно что-то в этом роде.
D
И ещё у трейтов не хватает выразительности, чтобы имплементировать
Iterator<T> для ! для любого Tэто да
RP
скорее, он резолвится в
(), когда не знает, во что конкретно зарезолвитсяD
мы говорим о проявлении (что ты скинул) или о причине?
RP
в комментах от Jonas'a: This is expected behavior since todo!() is not constrained to any type, so it is inferred to (). In the second case it is constrained to T, which is provided by the caller.
D
это ровно то, что я сказал :)
D
(кажется)
RP
Так что я не вижу, issue в которой один из пунктов убрать авторезолв
! в (). хотят оставить как естьA
fn gen_iterator() -> impl Iterator<Item = i32> {
todo!()
}Вот такая фигня, например
мне кажется, что это проблема
impl T, который не до конца реализован, в случае с fn test() -> T код скомпилится и при вызове test запаникуетEG
мне кажется, что это проблема
impl T, который не до конца реализован, в случае с fn test() -> T код скомпилится и при вызове test запаникуетНу это баг вывода типов
EG
Потому что на типе висит констрейнт
: Trait, но вывод типов его не видитH
на самом деле, когда в го введут шаблоны, будут тяжелые времена для раста.... Потому что реально то чего не хватает, а остальное и перетерпеть можно