blob: 05f3de190ea92bd52869364a75283fc83ca3b9dd [file] [log] [blame]
fn same_type<T>(_: T, _: T) {}
fn f<X, Y>(x: X, y: Y) {
same_type([x], Some(y));
//~^ ERROR mismatched types
}
fn main() {}