blob: 9f323a8f77d2ed547c5adad8ece85702e8338e35 [file] [log] [blame] [edit]
//@ 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() {}