1 // Test scope annotations from `enclosing_scope` parameter 2 3 #![feature(rustc_attrs)] 4 5 #[rustc_on_unimplemented(enclosing_scope="in this scope")] 6 trait Trait{} 7 8 struct Foo; 9 f<T: Trait>(x: T)10fn f<T: Trait>(x: T) {} 11 main()12fn main() { 13 let x = || { 14 f(Foo{}); //~ ERROR the trait bound `Foo: Trait` is not satisfied 15 let y = || { 16 f(Foo{}); //~ ERROR the trait bound `Foo: Trait` is not satisfied 17 }; 18 }; 19 20 { 21 { 22 f(Foo{}); //~ ERROR the trait bound `Foo: Trait` is not satisfied 23 } 24 } 25 26 f(Foo{}); //~ ERROR the trait bound `Foo: Trait` is not satisfied 27 } 28