In 5.7, the second paragraph reads:

> Testing contexts use similar conversions for reference types as casting
> contexts except that they do not permit narrowing reference conversions
> that are unchecked (§5.1.6.2).

This is a little misleading as normative text, because the conversions for reference types listed immediately after are clearly very different. (Casting context lists eight conversions, testing context lists only three!) The real point is just to observe that the narrowing reference conversions supported must be checked. I think this is better pointed out as non-normative text.