//@ check-pass | |
// Test that we correctly substitute generic arguments for type aliases. | |
#![feature(generic_const_exprs)] | |
#![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>(); | |
} |