use std::marker;

struct Foo<T,U>(T, marker::PhantomData<U>);

fn main() {
    match Foo(1.1, marker::PhantomData) {
        1 => {}
    //~^ ERROR mismatched types
    //~| expected type `Foo<{float}, _>`
    //~| found type `{integer}`
    //~| expected struct `Foo`, found integer
    }

}