Why is this doing the extra work of checking supertraits for this trait? I agree that it's sound in that it's functionally the same, but this seems like it's just more work than it's worth and it's cluttering up the rest of the validation being performed here.