blob: d081c4d5b78e6206af5bf1f9c7a2bb823e28aac8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![feature(inherent_associated_types)]
#![allow(incomplete_features)]
struct S<T>(T);
impl<T: Copy> S<T> {
type T = T;
}
fn main() {
let _: S<_>::T = String::new(); //~ ERROR the trait bound `String: Copy` is not satisfied
}
|