1 // Test that we check where-clauses on fn items. 2 3 4 #![allow(dead_code)] 5 6 trait ExtraCopy<T:Copy> { } 7 foo<T,U>() where T: ExtraCopy<U>8fn foo<T,U>() where T: ExtraCopy<U> //~ ERROR E0277 9 { 10 } 11 bar() where Vec<dyn Copy>:,12fn bar() where Vec<dyn Copy>:, {} 13 //~^ ERROR E0277 14 //~| ERROR E0038 15 16 struct Vec<T> { 17 t: T, 18 } 19 main()20fn main() { } 21