This is the same check as in subtype, just written differently. When does that fire but this one does not?