blob: d126a455daeb204e77f11ff63139de60378bdd99 (
plain)
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(); }
|