git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2020-12-22	Nadrieril	Rebrand `MissingConstructors` as `SplitWildcard`	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Factor out `SplitVarLenSlice` used for slice splitting	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Run the annoying lint separately	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Factor out `SplitIntRange` used for integer range splitting	commit \| commitdiff \| tree
2020-12-22	Nadrieril	Add some tests	commit \| commitdiff \| tree
2020-12-19	Nadrieril	Tweak diagnostics	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Unify the two kinds of usefulness merging	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Merge unreachable subpatterns correctly	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Keep all witnesses of non-exhaustiveness	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Rewrite usefulness merging using `SpanSet`	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Log the output of `is_useful` in the or-pattern case too	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Factor out or-pattern usefulness merging	commit \| commitdiff \| tree
2020-12-18	Nadrieril	Add tests	commit \| commitdiff \| tree
2020-12-12	Nadrieril	Remove an unused dependency that made `rustdoc` crash	commit \| commitdiff \| tree
2020-12-04	Nadrieril	Inline `is_covered_by`	commit \| commitdiff \| tree
2020-11-29	Nadrieril	`overlapping_range_endpoints` does not belong in the...	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Improve error message	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Be consistent about linting singletons	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Rename the `overlapping_patterns` lint to `overlapping_range...	commit \| commitdiff \| tree
2020-11-29	Nadrieril	Add tests	commit \| commitdiff \| tree
2020-11-28	Nadrieril	Don't store `ty` and `span` in `IntRange`	commit \| commitdiff \| tree
2020-11-28	Nadrieril	Correctly detect `usize`/`isize` range overlaps	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Rename `_match` to `usefulness`	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Rename `pat_constructor` to `Constructor::from_pat`	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Move the definitions of the two `Ctxt`s to the top	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Extract everything related to pattern deconstruction...	commit \| commitdiff \| tree
2020-11-27	Nadrieril	No need to expose `Matrix` internals	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Disentangle `Fields` and `PatStack`	commit \| commitdiff \| tree
2020-11-27	Nadrieril	Move `Constructor::apply` to `Fields`	commit \| commitdiff \| tree
2020-11-21	Nadrieril	Improve integer range tests	commit \| commitdiff \| tree
2020-11-19	Nadrieril	Regroup many usefulness-related test in the same folder	commit \| commitdiff \| tree
2020-11-16	Nadrieril	Add a test for foreign empty enums	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Factor out match usefulness computation in `check_match`	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Unreachable subpatterns are rare	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Handle empty matches cleanly	commit \| commitdiff \| tree
2020-11-12	Nadrieril	Add tests	commit \| commitdiff \| tree
2020-11-05	Nadrieril	Emit lints in the order in which they occur in the...	commit \| commitdiff \| tree
2020-11-05	Nadrieril	Fix unreachable sub-branch detection	commit \| commitdiff \| tree
2020-11-05	Nadrieril	Add test	commit \| commitdiff \| tree
2020-11-01	Nadrieril	The need for `Single` to cover `Unlistable` was a hack	commit \| commitdiff \| tree
2020-11-01	Nadrieril	Fix #78549	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Simplify slice splitting a bit	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Deduplicate work between splitting and subtraction	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Be honest about being able to list constructors	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Simplify specialize_constructor	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Unify the paths through `is_useful`	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Recompute `MissingConstructors` when needed	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Pass more things through `PatCtxt`	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Let MissingConstructors handle the subtleties of missing...	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Cache head constructor in PatStack	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Unify the two kinds of specialization by adding a Wildcard...	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Inline `specialize_one_pattern`	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Factor out the two specialization steps	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Clarify specialization into two steps	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Use pat_constructor to simplify specialize_one_pattern	commit \| commitdiff \| tree
2020-10-27	Nadrieril	Split `split_grouped_constructor` into smaller functions	commit \| commitdiff \| tree
2020-10-21	Nadrieril	Explain the `Opaque` special case in specialization	commit \| commitdiff \| tree
2020-10-21	Nadrieril	Add a test for #53708	commit \| commitdiff \| tree
2020-10-19	Nadrieril	Accidentally fixed #78071	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Add comment	commit \| commitdiff \| tree
2020-10-18	Nadrieril	The only remaining constant patterns are opaque	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Treat string literals separately from other constants	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Handle ranges of float consistently	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Fix comment	commit \| commitdiff \| tree
2020-10-18	Nadrieril	A ConstantValue constructor with a slice pattern is...	commit \| commitdiff \| tree
2020-10-18	Nadrieril	Add some tests	commit \| commitdiff \| tree
2020-07-04	Nadrieril	Fix #71977	commit \| commitdiff \| tree
2020-07-02	Nadrieril	Use `Span`s to identify unreachable subpatterns in...	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Remove out-of-date comment	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Work around type normalization issues	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Naming	commit \| commitdiff \| tree
2020-05-23	Nadrieril	Improve debugging	commit \| commitdiff \| tree
2020-05-19	Nadrieril	Make caveat more precise	commit \| commitdiff \| tree
2020-05-18	Nadrieril	Don't mention function pointers	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Improve comments	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Cache len in Fields	commit \| commitdiff \| tree
2020-05-17	Nadrieril	typo	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Fix bug just discovered	commit \| commitdiff \| tree
2020-05-17	Nadrieril	We don't use tyerr anymore	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Small allocation improvement	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Filter out fields that should not be seen	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Make all field-handling go through Fields	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Clarify specialize_one_pattern	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Use Fields as output to specialize_one_pattern	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Factor out a struct that holds subfields of a pattern	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Only need TyErr for uninhabited types	commit \| commitdiff \| tree
2020-05-17	Nadrieril	We already handle arrays of unknown length correctly	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Factor the code that generates TyErrs	commit \| commitdiff \| tree
2020-05-17	Nadrieril	Fix incorrect ordering	commit \| commitdiff \| tree
2019-12-11	Nadrieril	Revert a diagnostic change in the case of integer ranges	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Forgot to update some test outputs	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Simplify	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Only special-case empty matches when `exhaustive_patterns...	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Move empty_match check after usefulness check	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Forgot to update some test outputs	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Reuse `adt_defined_here`	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Move empty match check to `check_exhaustive`	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Simplify	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Use the default code path to list missing patterns	commit \| commitdiff \| tree
2019-12-04	Nadrieril	List missing constructors in an almost empty match	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom