tests/ui/nll/user-annotations/ascribed-type-wf.rs

   1 // Regression test for #101350.
   2 // check-fail
   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     //~^ ERROR lifetime may not live long enough
  15 }
  16
  17 fn main() {}