Skip to content

Omit redundant kind equality check in solver

Richard Eisenberg requested to merge wip/T18753 into master

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).

Merge request reports