[checker][pattern-matching] Take context by reference#1118

Merged

SamChou19815 merged 2 commits intomainfrom pr1118

Oct 29, 2023

+32-11

Commits on Oct 28, 2023

[checker][pattern-matching] Add nothing as a convenience factory function
SamChou19815
committed
[checker][pattern-matching] Take context by reference
SamChou19815
committed