Commits

Commits on May 4, 2024

Lower never patterns to Unreachable in mir
Nadrieril
committedMay 4, 2024
Add tests
Nadrieril
committedMay 4, 2024

Commits on Apr 20, 2024

Fix documentation of BorrowKind::Fake
Nadrieril
committedApr 20, 2024
Test or-patterns inside deref patterns
Nadrieril
committedApr 20, 2024
Use deep fake borrows for deref patterns
Nadrieril
committedApr 20, 2024
Add a non-shallow fake borrow
Nadrieril
committedApr 20, 2024
Rework fake borrow calculation
Nadrieril
committedApr 20, 2024
Address closure-related review
Nadrieril
committedApr 20, 2024
Allow mutable bindings inside deref patterns
Nadrieril
committedApr 20, 2024
Track mutability of deref patterns
Nadrieril
committedApr 20, 2024
Don't fake borrow inside a deref pattern
Nadrieril
committedApr 20, 2024
Lower deref patterns to MIR

Nadrieril
and
fee1-dead
committedApr 20, 2024

Commits on Apr 4, 2024

Impl DerefPure for more std types
Nadrieril
committedApr 4, 2024

Commits on Apr 3, 2024

Add if let tests
Nadrieril
committedApr 3, 2024
More precise false edges
Nadrieril
committedApr 3, 2024
Explain false edges in more detail
Nadrieril
committedApr 3, 2024
Add tests
Nadrieril
committedApr 3, 2024

Commits on Apr 1, 2024

Use contiguous indices for enum variants
Nadrieril
committedApr 1, 2024

Commits on Mar 31, 2024

Fix union handling in exhaustiveness
Nadrieril
committedMar 31, 2024
Add tests
Nadrieril
committedMar 31, 2024
Improve debugging experience
Nadrieril
committedMar 31, 2024

Commits on Mar 30, 2024

Add FileCheck directives to the new tests.
Nadrieril
committedMar 30, 2024
Sort Eq candidates in the failure case too
Nadrieril
committedMar 30, 2024
Add test
Nadrieril
committedMar 30, 2024
Regroup mir-opt tests of match building
Nadrieril
committedMar 30, 2024
Require enum indices to be contiguous
Nadrieril
committedMar 30, 2024

Commits on Mar 27, 2024

Use create_or_subcandidates for all or-pattern expansions
Nadrieril
committedMar 27, 2024
Avoid recursion in creating and merging or-patterns
Nadrieril
committedMar 27, 2024

Commits on Mar 26, 2024

Store Place instead of PlaceBuilder in MatchPair
Nadrieril
committedMar 26, 2024
Rename
Nadrieril
committedMar 26, 2024

Commits on Mar 25, 2024

Consistently merge simplifiable or-patterns
Nadrieril
committedMar 25, 2024
Use the correct span for simplifying or-patterns
Nadrieril
committedMar 25, 2024
Revert to the crates.io version of rustc_pattern_analysis
Nadrieril
committedMar 25, 2024

Commits on Mar 20, 2024

Add barest-bones deref patterns

Nadrieril
and
fee1-dead
committedMar 20, 2024

Commits on Mar 19, 2024

Skip the test when testing locally
Nadrieril
committedMar 19, 2024