diff options
| author | Robert Griesemer <gri@golang.org> | 2021-08-25 18:13:28 -0700 |
|---|---|---|
| committer | Robert Griesemer <gri@golang.org> | 2021-08-26 17:18:58 +0000 |
| commit | d6bdae33e918f779e9e50c020d32042e569368e2 (patch) | |
| tree | 6501f50076254d35b8907513c626461724071f42 /src/cmd/compile/internal/types2/testdata | |
| parent | 770df2e18df01e64f8770301b0d3a5d6bfa04027 (diff) | |
| download | go-d6bdae33e918f779e9e50c020d32042e569368e2.tar.gz go-d6bdae33e918f779e9e50c020d32042e569368e2.zip | |
cmd/compile/internal/types2: address some TODOs (cleanup)
- Address some easy TODOs.
- Remove some TODOs that are not correct anymore or are unimportent.
- Simplify some code on the way.
Change-Id: I4d20de3725b3a735022afe022cbc002b2798936d
Reviewed-on: https://go-review.googlesource.com/c/go/+/345176
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
Diffstat (limited to 'src/cmd/compile/internal/types2/testdata')
| -rw-r--r-- | src/cmd/compile/internal/types2/testdata/check/tinference.go2 | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/cmd/compile/internal/types2/testdata/check/tinference.go2 b/src/cmd/compile/internal/types2/testdata/check/tinference.go2 index 0afb77c1e4..2409fef4ae 100644 --- a/src/cmd/compile/internal/types2/testdata/check/tinference.go2 +++ b/src/cmd/compile/internal/types2/testdata/check/tinference.go2 @@ -15,7 +15,7 @@ type any interface{} // f("a", "b", "c", "d") // f0("a", "b", "c", "d") // } -// +// // func f1[A any, B interface{~A}](A, B) // func _() { // f := f1[int] @@ -60,9 +60,7 @@ func _() { var _ string = x } -// TODO(gri) Need to flag invalid recursive constraints. At the -// moment these cause infinite recursions and stack overflow. -// func f7[A interface{type B}, B interface{~A}]() +func f7[A interface{*B}, B interface{~*A}]() {} // More realistic examples |