swift

[Diagnostics] Relax contextual type presence from assertion to a check

#62791

Merged