Take TyVarTvs into account in matchableGivens
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).