blob: 3699f7296f5d0ac08e5b129ccd716aa4b93d7d6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
struct S;
trait D {
type P<T: Copy>;
//~^ NOTE required by this bound in `D::P`
//~| NOTE required by a bound in `D::P`
}
impl D for S {
type P<T: Copy> = ();
}
fn main() {
let _: <S as D>::P<String>;
//~^ ERROR the trait bound `String: Copy` is not satisfied
//~| NOTE the trait `Copy` is not implemented for `String`
}
|