blob: b127b3f6e1f03f044dfb7cc7f2225361a7b8c976 (
plain)
1
2
3
4
5
6
7
8
9
10
|
trait Trait {
type P<T: Copy, U: Copy>;
}
impl Trait for () {
type P<T: Copy, U: Copy> = ();
}
fn main() {
let _: <() as Trait>::P<String, String>;
//~^ ERROR the trait bound `String: Copy` is not satisfied
}
|