fix: make matcher pretty printer sensitive to `pp.explicit`#4724

Merged

kmill merged 1 commit intoleanprover:masterfrom kmill:fix_match_hover

Jul 11, 2024

+1-1

Commits on Jul 10, 2024

fix: make matcher pretty printer sensitive to pp.explicit
kmill
committed