fix: apply rcases substitution before recording pattern info#13621
Draft
berberman wants to merge 2 commits into
Draft
fix: apply rcases substitution before recording pattern info#13621berberman wants to merge 2 commits into
rcases substitution before recording pattern info#13621berberman wants to merge 2 commits into
