Forbid unsized structs which are non-instantiable

Closes #16977 

r?
+1 to the 'a' here, even though it's chopped. I have a hard time parsing
this as written.