diff options
Diffstat (limited to 'tests/ui/generic-associated-types/mismatched-where-clause-regions.rs')
-rw-r--r-- | tests/ui/generic-associated-types/mismatched-where-clause-regions.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/generic-associated-types/mismatched-where-clause-regions.rs b/tests/ui/generic-associated-types/mismatched-where-clause-regions.rs new file mode 100644 index 000000000..8caf53176 --- /dev/null +++ b/tests/ui/generic-associated-types/mismatched-where-clause-regions.rs @@ -0,0 +1,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() {} |