The last part of the Named Type Parameters section, which introduces binders of the form {T=U}, has been identified as a bit hard to understand to newcomers. Perhaps it could be improved by a comment in code pointing out the T defined above in the annotation for x in foo?
The last part of the Named Type Parameters section, which introduces binders of the form
{T=U}, has been identified as a bit hard to understand to newcomers. Perhaps it could be improved by a comment in code pointing out theTdefined above in the annotation forxinfoo?