Enforce semantics for void type.