]> Cypherpunks repositories - gostls13.git/commit
go/types, types2: simplify unification with constraints
authorRobert Griesemer <gri@golang.org>
Fri, 24 Feb 2023 02:55:11 +0000 (18:55 -0800)
committerGopher Robot <gobot@golang.org>
Wed, 1 Mar 2023 20:55:39 +0000 (20:55 +0000)
commite2f2123e256094c64377008c17ca20538c4742d8
treef5ca373bd860e364af62ebd545689b6b4a949414
parent997dbcf6ba716647a2a74cebc7b490594ebd6b2b
go/types, types2: simplify unification with constraints

Change-Id: I399f0ac12e65713f3018a89da55ecd3cdb855c50
Reviewed-on: https://go-review.googlesource.com/c/go/+/471017
Run-TryBot: Robert Griesemer <gri@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
src/cmd/compile/internal/types2/infer.go
src/go/types/infer.go