summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/defaults/doesnt_infer.rs
blob: 9c59e672d8e4cbc523b4d3744bebd4b5e565c4cc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// test that defaulted const params are not used to help type inference

struct Foo<const N: u32 = 2>;

impl<const N: u32> Foo<N> {
    fn foo() -> Self { loop {} }
}

fn main() {
    let foo = Foo::<1>::foo();
    let foo = Foo::foo();
    //~^ error: type annotations needed for `Foo<N>`
}