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

daniel-pfeiffer:

Besides suggesting the wrong inner type () vs. u8

And to clarify, the suggestion to use () is not wrong because it doesn't matter what the type actually is, as long as [_; SIZE + Kind::EXTRA] is a valid type.