reject some invalid IR. We already assert and reject this from the