2 struct Foo<const N: usize, const M: usize = N>([u8; N], [u8; M]);
4 fn foo<const N: usize>() -> Foo<N> {
9 // To check that we actually apply the correct substs for const param defaults.
10 fn concrete_foo() -> Foo<13> {
11 Foo(Default::default(), Default::default())
16 let val = foo::<13>();
17 assert_eq!(val.0, val.1);
19 let val = concrete_foo();
20 assert_eq!(val.0, val.1);