src/test/ui/typeck/issue-90804-incorrect-reference-suggestion.rs


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