2 // Test that we correctly substitute generic arguments for type aliases.
3 #![feature(generic_const_exprs)]
4 #![allow(incomplete_features)]
6 type Alias<T, const N: usize> = [T; N + 1];
8 fn foo<const M: usize>() -> Alias<u32, M> where [u8; M + 1]: Sized {