mirror of https://github.com/rust-lang/rust
18 lines
352 B
Rust
18 lines
352 B
Rust
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`
|
|
}
|