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

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

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-28	Nadrieril	Apply suggestions from code review	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	Oliver Scherer	Treat booleans as integers with valid range 0..=1	commit \| commitdiff \| tree
2020-10-18	Nadrieril	A ConstantValue constructor with a slice pattern is...	commit \| commitdiff \| tree
2020-10-18	Oliver Scherer	Destructure byte slices and remove all the workarounds	commit \| commitdiff \| tree
2020-10-18	Oliver Scherer	Destructure byte array constants to array patterns...	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
2019-12-04	Nadrieril	Add tests	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Only warn about missing patterns in the case of an...	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Add tests	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Make empty match lint more consistent under exhaustive_patterns	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Fix erroneous comment	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Tweak error on empty match	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Factor out some `non_exhaustive`-related checks	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Add tests	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Fix explanation of handling of empty enums	commit \| commitdiff \| tree
2019-12-04	Nadrieril	Clarify handling of `exhaustive_patterns` in `all_constructors`	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Remove top-level or-pattern hack	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Move recently changed tests to the correct file	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Correct error on partially unreachable or-pat in `if...	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Lint for redundant branches in or-patterns	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Add some tests	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Simplify lifetimes by allocating patterns on the arena	commit \| commitdiff \| tree
2019-12-02	Nadrieril	`UsefulWithWitness` always carries some witnesses	commit \| commitdiff \| tree
2019-12-02	Nadrieril	Don't build the same matrix twice	commit \| commitdiff \| tree
2019-11-26	Nadrieril	Move tests to ui, split them and add some	commit \| commitdiff \| tree
2019-11-26	Nadrieril	Make the ice a fatal error	commit \| commitdiff \| tree
2019-11-25	Nadrieril	Address reviews	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Add some more tests	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Initial implementation of or-pattern usefulness checking	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Reuse pat_constructor in split_grouped_ctors	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Fold away `AscribeUserType`	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Use appropriate constructor for const slices	commit \| commitdiff \| tree
2019-11-21	Nadrieril	Add some tests	commit \| commitdiff \| tree
2019-11-18	Nadrieril	Tweak diagnostics code	commit \| commitdiff \| tree
2019-11-17	Nadrieril	`ConstantValue` is the only other ctor allowed when...	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Store SliceKinds directly when subtracting	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Small improvement to exhaustiveness diagnostics	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Factor out slice constructor struct and simplify	commit \| commitdiff \| tree
2019-11-17	Nadrieril	Unify the various slice constructors	commit \| commitdiff \| tree
2019-11-16	Nadrieril	Add regression test for issue 53820	commit \| commitdiff \| tree
2019-11-16	Nadrieril	Introduce new FixedLenSlice constructor	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom