summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-issue-22246.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-issue-22246.rs')
-rw-r--r--src/test/ui/regions/regions-issue-22246.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/regions/regions-issue-22246.rs b/src/test/ui/regions/regions-issue-22246.rs
deleted file mode 100644
index 085883367..000000000
--- a/src/test/ui/regions/regions-issue-22246.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// run-pass
-#![allow(unused_imports)]
-// Regression test for issue #22246 -- we should be able to deduce
-// that `&'a B::Owned` implies that `B::Owned : 'a`.
-
-// pretty-expanded FIXME #23616
-
-#![allow(dead_code)]
-
-use std::ops::Deref;
-
-pub trait ToOwned: Sized {
- type Owned: Borrow<Self>;
- fn to_owned(&self) -> Self::Owned;
-}
-
-pub trait Borrow<Borrowed> {
- fn borrow(&self) -> &Borrowed;
-}
-
-pub struct Foo<B:ToOwned> {
- owned: B::Owned
-}
-
-fn foo<B:ToOwned>(this: &Foo<B>) -> &B {
- this.owned.borrow()
-}
-
-fn main() { }