src/test/ui/nll/user-annotations/ascribed-type-wf.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// check-pass
// known-bug: #101350

trait Trait {
    type Ty;
}

impl Trait for &'static () {
    type Ty = ();
}

fn extend<'a>() {
    None::<<&'a () as Trait>::Ty>;
}

fn main() {}