blob: 8df58a3486eb063d0b1d45c5aa4002d2116d03eb [file] [log] [blame]
// build-pass (FIXME(62277): could be check-pass?)
#![allow(unused)]
struct S;
impl S {
fn early_and_type<'a, T>(self) -> &'a T { loop {} }
}
fn test() {
S.early_and_type::<u16>();
}
fn main() {}