Class types in non-type template parameters
Structural class types as template arguments.
Connected features
Papers
2 · Rapperswil 2018 → Belfast 2019Allows class types (with a defaulted <=>, later 'structural types') as non-type template parameters.
Fixes inconsistencies with non-type template parameters (structural types, floating-point NTTPs).