]> Cypherpunks.ru repositories - gostls13.git/commit
[dev.typeparams] cmd/compile/internal/types2: parameterized functions must have a...
authorRobert Griesemer <gri@golang.org>
Mon, 9 Aug 2021 17:53:43 +0000 (10:53 -0700)
committerRobert Griesemer <gri@golang.org>
Tue, 10 Aug 2021 01:20:34 +0000 (01:20 +0000)
commite4cfa2f6dad8c73e98a4149948ded424df9c8501
tree1247e3badd9ef3e109a0daf7eaf1cefb18c6c434
parent508624f359f168cab32814f63d29a4305fb01588
[dev.typeparams] cmd/compile/internal/types2: parameterized functions must have a body

Add the respective check and add missing bodies to tests.
Use {} as body for functions that don't return a result.
Use { panic(0) } as body for functions that return a result.

For #47069.

Change-Id: Ia5d7525c9c036baf8a955d13bff448401e08235e
Reviewed-on: https://go-review.googlesource.com/c/go/+/340911
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
24 files changed:
src/cmd/compile/internal/types2/api_test.go
src/cmd/compile/internal/types2/decl.go
src/cmd/compile/internal/types2/testdata/check/issues.go2
src/cmd/compile/internal/types2/testdata/check/map2.go2
src/cmd/compile/internal/types2/testdata/check/mtypeparams.go2
src/cmd/compile/internal/types2/testdata/check/tinference.go2
src/cmd/compile/internal/types2/testdata/check/typeinst2.go2
src/cmd/compile/internal/types2/testdata/check/typeparams.go2
src/cmd/compile/internal/types2/testdata/examples/functions.go2
src/cmd/compile/internal/types2/testdata/examples/inference.go2
src/cmd/compile/internal/types2/testdata/examples/types.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue39634.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue39723.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue39725.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue39976.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue40038.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue40056.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue40684.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue41124.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue47127.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue47411.go2
test/typeparam/smoketest.go
test/typeparam/tparam1.go
test/typeparam/typelist.go