summaryrefslogtreecommitdiffstats
path: root/tests/ui/regions/regions-issue-22246.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/regions/regions-issue-22246.rs')
-rw-r--r--tests/ui/regions/regions-issue-22246.rs29
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/ui/regions/regions-issue-22246.rs b/tests/ui/regions/regions-issue-22246.rs
new file mode 100644
index 000000000..085883367
--- /dev/null
+++ b/tests/ui/regions/regions-issue-22246.rs
@@ -0,0 +1,29 @@
+// 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() { }