// Regression test for #61315
//
// `dyn T:` is lowered to `dyn T: ReEmpty` - check that we don't ICE in NLL for
// the unexpected region.

// check-pass

trait T {}
fn f() where dyn T: {}

fn main() { f(); }