Test resolving of names with for binders.

nikomatsakis · nikomatsakis · commit ecdb741df766 · 2014-11-18T12:32:38.000-05:00
diff --git a/src/test/compile-fail/regions-name-undeclared.rs b/src/test/compile-fail/regions-name-undeclared.rs
@@ -44,6 +44,9 @@ fn bar<'a>(x: &'a int) {
     // &'a CAN be declared on functions and used then:
     fn g<'a>(a: &'a int) { } // OK
     fn h(a: for<'a>|&'a int|) { } // OK
+
+    // But not in the bound of a closure, it's not in scope *there*
+    fn i(a: for<'a>|&int|:'a) { } //~ ERROR undeclared lifetime
 }
 
 // Test nesting of lifetimes in fn type declarations

Original file line number	Diff line number	Diff line change
`@@ -44,6 +44,9 @@ fn bar<'a>(x: &'a int) {`
`44`	`44`	`// &'a CAN be declared on functions and used then:`
`45`	`45`	`fn g<'a>(a: &'a int) { } // OK`
`46`	`46`	`fn h(a: for<'a>\|&'a int\|) { } // OK`
	`47`	`+`
	`48`	`+ // But not in the bound of a closure, it's not in scope there`
	`49`	`+ fn i(a: for<'a>\|&int\|:'a) { } //~ ERROR undeclared lifetime`
`47`	`50`	`}`
`48`	`51`
`49`	`52`	`// Test nesting of lifetimes in fn type declarations`