semantic: Don't test null types.