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