summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-assoc-type-region-bound.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-assoc-type-region-bound.rs')
-rw-r--r--src/test/ui/regions/regions-assoc-type-region-bound.rs22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/regions/regions-assoc-type-region-bound.rs b/src/test/ui/regions/regions-assoc-type-region-bound.rs
deleted file mode 100644
index cbb7d1726..000000000
--- a/src/test/ui/regions/regions-assoc-type-region-bound.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-// run-pass
-#![allow(dead_code)]
-// Test that the compiler considers the 'a bound declared in the
-// trait. Issue #20890.
-
-// pretty-expanded FIXME #23616
-
-trait Foo<'a> {
- type Value: 'a;
-
- fn get(&self) -> &'a Self::Value;
-}
-
-fn takes_foo<'a,F: Foo<'a>>(f: &'a F) {
- // This call would be illegal, because it results in &'a F::Value,
- // and the only way we know that `F::Value : 'a` is because of the
- // trait declaration.
-
- f.get();
-}
-
-fn main() { }