What’s where [(); SIZE + Kind::EXTRA]:?

where [(); X]: is temporary syntax for "X can be evaluated without panic/UB", presumably chosen becaues it sort-of has the right meaning already. I wouldn't expect generic_const_exprs to be stabilised until it has changed to something more sensible.