src/test/ui/nll/issue-68550.rs

   1 // Regression test for issue #68550.
   2 //
   3 // The `&'static A:` where clause was triggering
   4 // ICEs because it wound up being compiled to reference
   5 // the `'empty(U0)` region.
   6
   7 fn run<'a, A>(x: A)
   8 where
   9     A: 'static,
  10     &'static A: ,
  11 {
  12     let _: &'a A = &x; //~ ERROR `x` does not live long enough
  13 }
  14
  15 fn main() {}