Fix shadowing lacuna in OccurAnal, and an assertion bug
Two patches in this MR:
- One fixes #22623 (closed), a long-standing oversight. See
See Note [The binder-swap substitution] (BS3)
- The other fixes #22645 (closed), an erroneous assertion
Two patches in this MR:
See Note [The binder-swap substitution] (BS3)