summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-bounded-method-type-parameters-trait-bound.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-bounded-method-type-parameters-trait-bound.rs')
-rw-r--r--src/test/ui/regions/regions-bounded-method-type-parameters-trait-bound.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/regions/regions-bounded-method-type-parameters-trait-bound.rs b/src/test/ui/regions/regions-bounded-method-type-parameters-trait-bound.rs
deleted file mode 100644
index 5548cb915..000000000
--- a/src/test/ui/regions/regions-bounded-method-type-parameters-trait-bound.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// Check that explicit region bounds are allowed on the various
-// nominal types (but not on other types) and that they are type
-// checked.
-
-struct Inv<'a> { // invariant w/r/t 'a
- x: &'a mut &'a isize
-}
-
-trait Foo<'x> {
- fn method<'y:'x>(self, y: Inv<'y>);
-}
-
-fn caller1<'a,'b,F:Foo<'a>>(a: Inv<'a>, b: Inv<'b>, f: F) {
- // Here the value provided for 'y is 'a, and hence 'a:'a holds.
- f.method(a);
-}
-
-fn caller2<'a,'b,F:Foo<'a>>(a: Inv<'a>, b: Inv<'b>, f: F) {
- // Here the value provided for 'y is 'b, and hence 'b:'a does not hold.
- f.method(b);
- //~^ ERROR lifetime may not live long enough
-}
-
-fn caller3<'a,'b:'a,F:Foo<'a>>(a: Inv<'a>, b: Inv<'b>, f: F) {
- // Here the value provided for 'y is 'b, and hence 'b:'a holds.
- f.method(b);
-}
-
-fn main() { }