tests/ui/wf/wf-fn-where-clause.rs

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