about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/constructor.rs
AgeCommit message (Expand)AuthorLines
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-2/+2
2024-09-29cleanup: don't clone types that are CopyMatthias Krüger-4/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+1
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-1/+26
2024-04-01Fix union handling in exhaustivenessNadrieril-0/+28
2024-03-31Improve debugging experienceNadrieril-1/+0
2024-03-30Require enum indices to be contiguousNadrieril-7/+4
2024-03-19Improve the `WitnessPat: Debug` implNadrieril-0/+75
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger-6/+33
2024-03-13Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errorsMatthias Krüger-8/+5
2024-03-13Remove `MaybeInfiniteInt::JustAfterMax`Nadrieril-8/+5
2024-03-13Rename `TypeCx` -> `PatCx`Nadrieril-9/+9
2024-03-12Suggest never pattern instead of `_` for empty typesNadrieril-1/+23
2024-03-12Add `Constructor::Never`Nadrieril-5/+10
2024-03-11Store pattern arity in `DeconstructedPat`Nadrieril-2/+2
2024-03-09Make `MaybeInfiniteInt::plus_one/minus_one` fallibleNadrieril-16/+19
2024-02-29Rollup merge of #121000 - Nadrieril:keep_all_fields, r=compiler-errorsGuillaume Gomez-0/+6
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril-7/+6
2024-02-28Add special `Skip` constructorNadrieril-0/+7
2024-02-28Don't panic when encountering unexpected constructorNadrieril-4/+4
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-10/+6
2024-02-05Auto merge of #120313 - Nadrieril:graceful-error, r=compiler-errorsbors-7/+11
2024-02-03Rollup merge of #120516 - Nadrieril:cleanup-impls, r=compiler-errorsMatthias Krüger-69/+1
2024-01-31Gracefully abort on type incompatibilityNadrieril-7/+11
2024-01-31Manual `Debug` impls are not needed since `TypeCx: Debug`Nadrieril-27/+1
2024-01-31Remove unused `Constructor: PartialEq` implNadrieril-42/+0
2024-01-30Make `PatternColumn` part of the public APINadrieril-5/+5
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-9/+7
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-2/+96
2024-01-24Improve `Range: Debug` implNadrieril-5/+11
2024-01-19Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errorsMatthias Krüger-14/+5
2024-01-17Don't rely on contiguous `VariantId`s outside of rustcNadrieril-4/+7
2024-01-15Make all the empty pattern decisions in `usefulness`Nadrieril-14/+5
2024-01-12rustc_pattern_analysis no longer needs to be passed an arenaNadrieril-3/+3
2023-12-26Clean up more lifetimesMichael Goulet-5/+2
2023-12-23Use `derivative` for better derive boundsNadrieril-1/+2
2023-12-19Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errorsbors-63/+96
2023-12-15NFC: do not clone types that are copyMatthias Krüger-1/+1
2023-12-15s/MatchCx/TypeCx/Nadrieril-8/+8
2023-12-15Introduce `MatchCtxt`Nadrieril-4/+5
2023-12-15s/PatCtxt/PlaceCtxt/Nadrieril-5/+5
2023-12-15Address review commentsNadrieril-2/+1
2023-12-15Make the `rustc_data_structures` dependency optionalNadrieril-5/+8
2023-12-15Gate rustc-specific code under a featureNadrieril-0/+1
2023-12-15Iron out last rustc-specific detailsNadrieril-5/+19
2023-12-15Abstract `MatchCheckCtxt` into a traitNadrieril-36/+29
2023-12-15Split `Single` ctor into more specific variantsNadrieril-13/+35