src/test/ui/const-generics/const_evaluatable_checked/ty-alias-substitution.rs

// check-pass
// Test that we correctly substitute generic arguments for type aliases.
#![feature(const_generics, const_evaluatable_checked)]
#![allow(incomplete_features)]

type Alias<T, const N: usize> = [T; N + 1];

fn foo<const M: usize>() -> Alias<u32, M>  where [u8; M + 1]: Sized {
    [0; M + 1]
}

fn main() {
    foo::<0>();
}