src/test/ui/issues/issue-36836.rs

   1 // Previously, in addition to the real cause of the problem as seen below,
   2 // the compiler would tell the user:
   3 //
   4 // ```
   5 // error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or
   6 // predicates
   7 // ```
   8 //
   9 // With this test, we check that only the relevant error is emitted.
  10
  11 trait Foo {}
  12
  13 impl<T> Foo for Bar<T> {} //~ ERROR cannot find type `Bar` in this scope
  14
  15 fn main() {}