1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
#![feature(type_alias_impl_trait)] fn main() {} mod boo { pub type Boo = impl ::std::fmt::Debug; fn bomp() -> Boo { "" } } // We don't actually know the type here. fn bomp2() { let _: &str = bomp(); //~ ERROR mismatched types } fn bomp() -> boo::Boo { "" //~ ERROR mismatched types } fn bomp_loop() -> boo::Boo { loop {} }