The following "to do" item is leftover in the 0.7.0 spec, 18.5.2:

"To do: we need to figure out how this interacts with unchecked warnings and the resulting erasure of the invocation type (15.12.2.6)."

The answer is straightforward: we just need to clarify that the "unchecked reduction" allowed by 18.2.2 counts as an unchecked conversion.