tree 4d2252c675959fc9bdf1cb3d5351334e9d5c4ca8
parent 3313880bdcb29d24dc5068b3a0f1bdd102c12b13
author Robert Griesemer <gri@golang.org> 1675361698 -0800
committer Gopher Robot <gobot@golang.org> 1675381193 +0000

go/types, types2: simplify symmetric code

Because unification is symmetric, in cases where we have symmetric
code for x and y depending on some property we can swap x and y as
needed and simplify the code.

Also, change u.depth increment/decrement position for slightly
nicer tracing ooutput.

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