src/test/ui/nll/empty-type-predicate.rs

   1 // Regression test for #61315
   2 //
   3 // `dyn T:` is lowered to `dyn T: ReEmpty` - check that we don't ICE in NLL for
   4 // the unexpected region.
   5
   6 // check-pass
   7
   8 trait T {}
   9 fn f() where dyn T: {}
  10
  11 fn main() { f(); }