blob: f891a42fc2af059ae090f846d8dfd0b794031c6e [file] [log] [blame]
// 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]
}