tests/incremental/const-generics/issue-62536.rs

//@ revisions: bfail1

#![allow(unused_variables)]

struct S<T, const N: usize>([T; N]);

fn f<T, const N: usize>(x: T) -> S<T, {N}> { panic!() }

fn main() {
    f(0u8);
    //[bfail1]~^ ERROR type annotations needed
}