diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-78113-lifetime-mismatch-dyn-trait-box.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-78113-lifetime-mismatch-dyn-trait-box.rs | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/test/ui/generic-associated-types/issue-78113-lifetime-mismatch-dyn-trait-box.rs b/src/test/ui/generic-associated-types/issue-78113-lifetime-mismatch-dyn-trait-box.rs deleted file mode 100644 index fd3b967d9..000000000 --- a/src/test/ui/generic-associated-types/issue-78113-lifetime-mismatch-dyn-trait-box.rs +++ /dev/null @@ -1,38 +0,0 @@ -// Test for diagnostics when we have mismatched lifetime due to implicit 'static lifetime in GATs - -// check-fail - -pub trait A {} -impl A for &dyn A {} -impl A for Box<dyn A> {} - -pub trait B { - type T<'a>: A; -} - -impl B for () { - // `'a` doesn't match implicit `'static`: suggest `'_` - type T<'a> = Box<dyn A + 'a>; //~ incompatible lifetime on type -} - -trait C {} -impl C for Box<dyn A + 'static> {} -pub trait D { - type T<'a>: C; -} -impl D for () { - // `'a` doesn't match explicit `'static`: we *should* suggest removing `'static` - type T<'a> = Box<dyn A + 'a>; //~ incompatible lifetime on type -} - -trait E {} -impl E for (Box<dyn A>, Box<dyn A>) {} -pub trait F { - type T<'a>: E; -} -impl F for () { - // `'a` doesn't match explicit `'static`: suggest `'_` - type T<'a> = (Box<dyn A + 'a>, Box<dyn A + 'a>); //~ incompatible lifetime on type -} - -fn main() {} |