]> Cypherpunks.ru repositories - gostls13.git/commit
go/types: consolidate verification logic
authorRobert Findley <rfindley@google.com>
Mon, 16 Aug 2021 20:01:42 +0000 (16:01 -0400)
committerRobert Findley <rfindley@google.com>
Fri, 20 Aug 2021 18:45:05 +0000 (18:45 +0000)
commite49775e0579891479888a514c82cf6eea123763f
tree11557821ce2f298cca25193a6c87dfbc85c2ceb5
parent4d00fcbc4303bca38ecfc1c8a07661089496c1ab
go/types: consolidate verification logic

This is a straightforward port of CL 342149 to go/types.

Change-Id: I468c5154b7545b7816bb3f240b8db91e7a1fd3f6
Reviewed-on: https://go-review.googlesource.com/c/go/+/342488
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>
src/go/types/instantiate.go
src/go/types/typexpr.go