Pruning Irrelevant Pattern Columns: How rustc's Match Checker Went From Exponential to Linear
rustc’s pattern exhaustiveness analysis prunes constructor columns that match strictly fewer rows than a more general candidate, which fixed an exponential blowup in the usefulness …