diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-24424.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-24424.rs b/src/test/ui/issues/issue-24424.rs new file mode 100644 index 000000000..22bf513af --- /dev/null +++ b/src/test/ui/issues/issue-24424.rs @@ -0,0 +1,7 @@ +trait Trait1<'l0, T0> {} +trait Trait0<'l0> {} + +impl <'l0, 'l1, T0> Trait1<'l0, T0> for bool where T0 : Trait0<'l0>, T0 : Trait0<'l1> {} +//~^ ERROR type annotations needed + +fn main() {} |