diff options
Diffstat (limited to 'src/test/ui/regions/issue-21520.rs')
-rw-r--r-- | src/test/ui/regions/issue-21520.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/regions/issue-21520.rs b/src/test/ui/regions/issue-21520.rs deleted file mode 100644 index ab4ac7237..000000000 --- a/src/test/ui/regions/issue-21520.rs +++ /dev/null @@ -1,22 +0,0 @@ -// check-pass -#![allow(dead_code)] -// Test that the requirement (in `Bar`) that `T::Bar : 'static` does -// not wind up propagating to `T`. - -// pretty-expanded FIXME #23616 - -pub trait Foo { - type Bar; - - fn foo(&self) -> Self; -} - -pub struct Static<T:'static>(T); - -struct Bar<T:Foo> - where T::Bar : 'static -{ - x: Static<Option<T::Bar>> -} - -fn main() { } |