Change information
Commit message:
go/types, types2: pass in some targets for composite literal types
This change handles the more straightforward targets for composite
literal type inference; they are typically identical to the targets
passed for generic function values.
A variety of test cases are added. Those which are awaiting
implementation are commented out for now.
For #12854
Change-Id: I776e160dd7bce0768589a552c4e7913b1c70220f
Files:
- M src/cmd/compile/internal/types2/assignments.go
- M src/cmd/compile/internal/types2/call.go
- M src/cmd/compile/internal/types2/decl.go
- M src/cmd/compile/internal/types2/index.go
- M src/cmd/compile/internal/types2/literals.go
- M src/cmd/compile/internal/types2/stmt.go
- M src/go/types/assignments.go
- M src/go/types/call.go
- M src/go/types/decl.go
- M src/go/types/index.go
- M src/go/types/literals.go
- M src/go/types/stmt.go
- R src/internal/types/testdata/check/compliterals0.go
- A src/internal/types/testdata/check/compliterals1.go
- A src/internal/types/testdata/check/compliterals2.go
- A src/internal/types/testdata/check/compliterals3.go
Change size: L
Delta: 16 files changed, 278 insertions(+), 20 deletions(-)
Branch: refs/heads/master