summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs')
-rw-r--r--src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs41
1 files changed, 0 insertions, 41 deletions
diff --git a/src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs b/src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs
deleted file mode 100644
index eb6e66818..000000000
--- a/src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs
+++ /dev/null
@@ -1,41 +0,0 @@
-// Test that we are imposing the requirement that every associated
-// type of a bound that appears in the where clause on a struct must
-// outlive the location in which the type appears, even when the
-// associted type is in a supertype. Issue #22246.
-
-#![allow(dead_code)]
-
-pub trait TheTrait {
- type TheAssocType;
-}
-
-pub trait TheSubTrait : TheTrait {
-}
-
-pub struct TheType<'b> {
- m: [fn(&'b()); 0]
-}
-
-impl<'b> TheTrait for TheType<'b> {
- type TheAssocType = &'b ();
-}
-
-impl<'b> TheSubTrait for TheType<'b> {
-}
-
-pub struct WithAssoc<T:TheSubTrait> {
- m: [T; 0]
-}
-
-fn with_assoc<'a,'b>() {
- // For this type to be valid, the rules require that all
- // associated types of traits that appear in `WithAssoc` must
- // outlive 'a. In this case, that means TheType<'b>::TheAssocType,
- // which is &'b (), must outlive 'a.
-
- let _: &'a WithAssoc<TheType<'b>> = loop { };
- //~^ ERROR lifetime may not live long enough
-}
-
-fn main() {
-}