src/test/ui/c-variadic/issue-86053-2.rs

   1 // Regression test for the ICE caused by the example in
   2 // https://github.com/rust-lang/rust/issues/86053#issuecomment-855672258
   3
   4 #![feature(c_variadic)]
   5
   6 trait H<T> {}
   7
   8 unsafe extern "C" fn ordering4<'a, F: H<&'static &'a ()>>(_: (), ...) {}
   9 //~^ ERROR: in type `&'static &'a ()`, reference has a longer lifetime than the data it references [E0491]
  10
  11 fn main() {}