blob: 8df58a3486eb063d0b1d45c5aa4002d2116d03eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// 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() {}
|