Closed
Description
Should the following code be accepted?
// compiles rn
#![feature(const_generics)]
struct A<T = u32, const N: usize> {
arg: T,
}
type C = A<u32, 7>;
if so, we probably also want to accept the following:
// this currently fails
type B = A<7>;
//~^ ERROR constant provided when a type was expected