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

   1 // check-pass
   2 // known-bug: #101350
   3
   4 trait Trait {
   5     type Ty;
   6 }
   7
   8 impl Trait for &'static () {
   9     type Ty = ();
  10 }
  11
  12 fn extend<'a>() {
  13     None::<<&'a () as Trait>::Ty>;
  14 }
  15
  16 fn main() {}