about summary refs log tree commit diff
path: root/tests/ui/generics/slightly-nice-generic-literal-messages.rs
blob: 83c08e977b6d1f0a4c44b191caceba5c6e04509a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
use std::marker;

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

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

}