src/test/ui/const-generics/generic_arg_infer/array-in-sig.rs


1
2
3
4
5
6
7
8
9
10
11
12

// To avoid having to `or` gate `_` as an expr.
#![feature(generic_arg_infer)]

fn foo() -> [u8; _] {
    //~^ ERROR the const placeholder `_` is not allowed within types on item signatures for generics
    // FIXME(generic_arg_infer): this error message should say in the return type or sth like that.
    [0; 3]
}

fn main() {
    foo();
}