]> Cypherpunks repositories - gostls13.git/commit
cmd/compile/internal/types2: detect constraint type inference cycles
authorRobert Griesemer <gri@golang.org>
Thu, 2 Sep 2021 23:43:29 +0000 (16:43 -0700)
committerRobert Griesemer <gri@golang.org>
Sat, 4 Sep 2021 20:35:25 +0000 (20:35 +0000)
commit9133245be7365c23fcd60e3bb60ebb614970cdab
treeef42e0afb6a3084133d1d2972a10f1603951f9cb
parent28dae3defb06fb18aaadce5269e928e8ca3769e1
cmd/compile/internal/types2: detect constraint type inference cycles

See the detailed explanations in the code.

Fixes #48136.

Change-Id: I1667aabfbbff97967913b080c77e7ec04ea82feb
Reviewed-on: https://go-review.googlesource.com/c/go/+/347300
Trust: Robert Griesemer <gri@golang.org>
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
src/cmd/compile/internal/types2/infer.go
src/cmd/compile/internal/types2/testdata/fixedbugs/issue48136.go2 [new file with mode: 0644]