Drop outdated comment on TcRnIllformedTypePattern
Drop outdated comment on TcRnIllformedTypePattern
This should have been done in 0f0c53a5 but I missed it.
Drop outdated comment on TcRnIllformedTypePattern
This should have been done in 0f0c53a5 but I missed it.