[go] go/types, types2: thread composite literal target through expressions

[Mark Freeman (Gerrit)]

Mark Freeman submitted the change

Unreviewed changes

4 is the latest approved patch-set.
No files were changed between the latest approved patch-set and the submitted one.

Change information

Commit message:

go/types, types2: thread composite literal target through expressions

This change threads a type target through the major expression type
checking logic in Checker.expr and its related methods. For now,
this new argument isn't used.

This is done to reduce the surface area of upcoming changes.

For #12854

Change-Id: I0e21c010c5d0d6ea3fd6dd09b5289b1479a88f7f

Reviewed-on: https://go-review.googlesource.com/c/go/+/794040

Auto-Submit: Mark Freeman <markf...@google.com>

Reviewed-by: Robert Griesemer <g...@google.com>

LUCI-TryBot-Result: golang...@luci-project-accounts.iam.gserviceaccount.com <golang...@luci-project-accounts.iam.gserviceaccount.com>

Files:

• M src/cmd/compile/internal/types2/assignments.go
• M src/cmd/compile/internal/types2/builtins.go
• M src/cmd/compile/internal/types2/call.go
• M src/cmd/compile/internal/types2/decl.go
• M src/cmd/compile/internal/types2/expr.go
• M src/cmd/compile/internal/types2/index.go
• M src/cmd/compile/internal/types2/literals.go
• M src/cmd/compile/internal/types2/range.go
• M src/cmd/compile/internal/types2/stmt.go
• M src/cmd/compile/internal/types2/typexpr.go
• M src/go/types/assignments.go
• M src/go/types/builtins.go
• M src/go/types/call.go
• M src/go/types/decl.go
• M src/go/types/eval.go
• M src/go/types/expr.go
• M src/go/types/index.go
• M src/go/types/literals.go
• M src/go/types/range.go
• M src/go/types/stmt.go
• M src/go/types/typexpr.go

Change size: M

Delta: 21 files changed, 118 insertions(+), 110 deletions(-)

Branch: refs/heads/master

Submit Requirements:

• Code-Review: +2 by Robert Griesemer
• TryBots-Pass: LUCI-TryBot-Result+1 by golang...@luci-project-accounts.iam.gserviceaccount.com

Open in Gerrit

Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings.

Gerrit

Gerrit-MessageType: merged

Gerrit-Project: go

Gerrit-Branch: master

Gerrit-Change-Id: I0e21c010c5d0d6ea3fd6dd09b5289b1479a88f7f

Gerrit-Change-Number: 794040

Gerrit-PatchSet: 12

Gerrit-Owner: Mark Freeman <markf...@google.com>

Gerrit-Reviewer: Mark Freeman <markf...@google.com>

Gerrit-Reviewer: Robert Griesemer <g...@google.com>

Gerrit-Reviewer: golang...@luci-project-accounts.iam.gserviceaccount.com <golang...@luci-project-accounts.iam.gserviceaccount.com>