Omit redundant kind equality check in solver
See Note [Use loose types in inert set] below. The functional change is just the omission of a check.
See further commentary in #18753 (closed).
See Note [Use loose types in inert set] below. The functional change is just the omission of a check.
See further commentary in #18753 (closed).