Forbid unsized structs which are non-instantiable

Closes #16977 

r?
Same comment here about short-circuiting.