"must compare B with B, or C with C, and must /not/ cast b and c to" . . . .