tests/ui/const-generics/generic_const_exprs/const_kind_expr/issue_114151.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

fn foo<const N: usize>(
    _: [u8; {
        {
            N
        }
    }],
) {
}

fn ice<const L: usize>()
where
    [(); (L - 1) + 1 + L]:,
{
    foo::<_, L>([(); L + 1 + L]);
    //~^ ERROR: mismatched types
    //~^^ ERROR: unconstrained generic constant
    //~^^^ ERROR: function takes 1 generic argument but 2 generic arguments were supplied
    //~^^^^ ERROR: unconstrained generic constant
    //~^^^^^ ERROR: unconstrained generic constant `{const expr}`
}

fn main() {}