summaryrefslogtreecommitdiffstats
path: root/tests/ui/typeck/typeck_type_placeholder_lifetime_1.rs
blob: 43e46c5b6c3d771c3f5cb81b734cedd1808fb384 (plain)
1
2
3
4
5
6
7
8
9
10
11
// This test checks that the `_` type placeholder does not react
// badly if put as a lifetime parameter.

struct Foo<'a, T:'a> {
    r: &'a T
}

pub fn main() {
    let c: Foo<_, _> = Foo { r: &5 };
    //~^ ERROR this struct takes 1 generic argument but 2 generic arguments were supplied
}