IMO we ought to warn on that kind of near-miss (or in a case where the subtyping conversion works like this, just allow name to be the witness), I agree it is quite insidious.
6 Likes
IMO we ought to warn on that kind of near-miss (or in a case where the subtyping conversion works like this, just allow name to be the witness), I agree it is quite insidious.