blob: 8caf5317693ee0da26ddc8c33b5bc8723c5b6236 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
trait Foo {
type T<'a1, 'b1>
where
'a1: 'b1;
}
impl Foo for () {
type T<'a2, 'b2> = () where 'b2: 'a2;
//~^ ERROR impl has stricter requirements than trait
}
fn main() {}
|