Change-Id: I06345199ff16c80be83c345d734caef1714ec089
Reviewed-on: https://go-review.googlesource.com/c/go/+/515338
TryBot-Bypass: Robert Griesemer <gri@google.com>
Reviewed-by: Ian Lance Taylor <iant@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
<!--{
"Title": "The Go Programming Language Specification",
- "Subtitle": "Version of July 31, 2023",
+ "Subtitle": "Version of Aug 2, 2023",
"Path": "/ref/spec"
}-->
In this case, if <code>T</code> is a defined type, <code>T</code>
replaces <code>A</code> as the inferred type argument for <code>P</code>.
</li>
- <li>
- In all other cases unification of <code>P</code> and <code>T</code> fails.
- </li>
</ul>
</li>
</ul>