1 2 3 4 5 6 7 8
pub trait Tr<'a> { type Out; } pub fn f<'a, T: Tr<'a>>() -> <T as Tr<'a>>::Out {} //~^ ERROR mismatched types pub fn main() {}