tests/ui/nll/empty-type-predicate.rs


1
2
3
4
5
6
7
8
9
10
11

// 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(); }