fixup! Add inheritance-checking lint