tests/ui/nll/user-annotations/region-error-ice-109072.rs

   1 // Regression test for #109072.
   2 // Check that we don't ICE when canonicalizing user annotation.
   3
   4 trait Lt<'a> {
   5     type T;
   6 }
   7
   8 impl Lt<'missing> for () { //~ ERROR undeclared lifetime
   9     type T = &'missing (); //~ ERROR undeclared lifetime
  10 }
  11
  12 fn main() {
  13     let _: <() as Lt<'_>>::T = &();
  14 }