tree 58a554bab992e8eb63b4b11921e4b677ca1f9e92
parent 756a8ac91a7d26becb8f3c5c8e8fbdbae0eb77e2
author Robert Griesemer <gri@golang.org> 1675312235 -0800
committer Gopher Robot <gobot@golang.org> 1675349559 +0000

go/types, types2: avoid recursive invocation when unifying underlying types

There's no need to invoke unifier.nify recursively when we decide to
unify underlying types. Just update the respective type variable and
continue.

Change-Id: I3abe335464786dc509d18651dff14b20022c7d63
Reviewed-on: https://go-review.googlesource.com/c/go/+/464347
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Griesemer <gri@google.com>