// 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]
}