Skip to content

Take TyVarTvs into account in matchableGivens

Richard Eisenberg requested to merge wip/T19106 into master

Commit message

Take TyVarTvs into account in matchableGivens.

This patch also removes a redundant Note and redirects
references to a better replacement.

Close #19106.

Test case: partial-sigs/should_compile/T19106

Tag #19106 (closed).

Merge request reports