summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-78113-lifetime-mismatch-dyn-trait-box.rs
diff options
context:
space:
mode:
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.rs38
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() {}