tree 8332eae4ad95d7b5b5af3d6b5a9732b6e1c0ddbc
parent 3befaf0cdb18420f45acfa7cee725297aa550faf
author Robert Findley <rfindley@google.com> 1634309575 -0400
committer Robert Findley <rfindley@google.com> 1634597705 +0000

go/types: add support for inferring type instances

Add constraint type inference for type instances, to be consistent with
inference of function values.

Fixes #47990

Change-Id: Ib99b5215cb2da5c10badc4de7e9e60ca0e48489f
Reviewed-on: https://go-review.googlesource.com/c/go/+/356489
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>