diff options
author | Robert Findley <rfindley@google.com> | 2021-08-13 13:52:55 -0400 |
---|---|---|
committer | Robert Findley <rfindley@google.com> | 2021-08-18 20:12:37 +0000 |
commit | 8f0578ef39a97c3a20032db799b97763e44274b0 (patch) | |
tree | 157eec2760264397903bbe5d14b19f56861204a6 /src/cmd/compile/internal/types2/typexpr.go | |
parent | 165ebd85a77db5f3454f38c6c3f1539f00cf2fef (diff) | |
download | go-8f0578ef39a97c3a20032db799b97763e44274b0.tar.gz go-8f0578ef39a97c3a20032db799b97763e44274b0.zip |
cmd/compile/internal/types2: consolidate verification logic
Change an internal call of instantiateLazy to call Instantiate, so that
we can consolidate the logic for invoking verification.
This made verification of signatures lazy, which is not necessary but
should be harmless.
Change-Id: I2e59b04ac859e08c2e2910ded3c183093d1e34a7
Reviewed-on: https://go-review.googlesource.com/c/go/+/342149
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>
Diffstat (limited to 'src/cmd/compile/internal/types2/typexpr.go')
-rw-r--r-- | src/cmd/compile/internal/types2/typexpr.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmd/compile/internal/types2/typexpr.go b/src/cmd/compile/internal/types2/typexpr.go index a53319c153..4df8ab68a1 100644 --- a/src/cmd/compile/internal/types2/typexpr.go +++ b/src/cmd/compile/internal/types2/typexpr.go @@ -444,7 +444,7 @@ func (check *Checker) instantiatedType(x syntax.Expr, targsx []syntax.Expr, def posList[i] = syntax.StartPos(arg) } - typ := check.instantiateLazy(x.Pos(), base, targs, posList, true) + typ := check.Instantiate(x.Pos(), base, targs, posList, true) def.setUnderlying(typ) // make sure we check instantiation works at least once |