blob: 20d6e47f75300cab5fa2405fa1b7866982a116db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// Regression test for #65553
//
// `D::Error:` is lowered to `D::Error: ReEmpty` - check that we don't ICE in
// NLL for the unexpected region.
// check-pass
trait Deserializer {
type Error;
}
fn d1<D: Deserializer>() where D::Error: {}
fn d2<D: Deserializer>() {
d1::<D>();
}
fn main() {}
|