blob: f891a42fc2af059ae090f846d8dfd0b794031c6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// Do not suggest referencing the parameter to `check`
trait Marker<T> {}
impl<T> Marker<i32> for T {}
pub fn check<T: Marker<u32>>(_: T) {}
pub fn main() {
check::<()>(()); //~ ERROR [E0277]
}
|