rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2020-12-22	Fix a comment	Nadrieril	-4/+4
2020-12-22	Apply suggestions from code review	Nadrieril	-9/+10
2020-12-22	Simplify field filtering	Nadrieril	-1/+1
2020-12-22	Make the special "missing patterns" constructor real	Nadrieril	-2/+11
2020-12-22	Completely rework the explanation of the algorithm	Nadrieril	-234/+211
2020-12-22	Pass `Matrix` explicitly instead of via `PatCtxt`	Nadrieril	-10/+16
2020-12-22	Rebrand `MissingConstructors` as `SplitWildcard`	Nadrieril	-3/+4
2020-12-22	Run the annoying lint separately	Nadrieril	-2/+7
2020-12-18	Unify the two kinds of usefulness merging	Nadrieril	-63/+35
2020-12-18	Merge unreachable subpatterns correctly	Nadrieril	-3/+28
2020-12-18	Keep all witnesses of non-exhaustiveness	Nadrieril	-27/+37
2020-12-18	Rewrite usefulness merging using `SpanSet`	Nadrieril	-64/+113
2020-12-18	Log the output of `is_useful` in the or-pattern case too	Nadrieril	-25/+31
2020-12-18	Factor out or-pattern usefulness merging	Nadrieril	-72/+81
2020-11-28	Don't store `ty` and `span` in `IntRange`	Nadrieril	-2/+10
2020-11-27	Rename `_match` to `usefulness`	Nadrieril	-0/+992