summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-36836.rs
blob: 99c56213153e40180d74baa9bfc54b9ed8681b27 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// Previously, in addition to the real cause of the problem as seen below,
// the compiler would tell the user:
//
// ```
// error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or
// predicates
// ```
//
// With this test, we check that only the relevant error is emitted.

trait Foo {}

impl<T> Foo for Bar<T> {} //~ ERROR cannot find type `Bar` in this scope

fn main() {}