about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
AgeCommit message (Expand)AuthorLines
2024-02-25Rollup merge of #121324 - Nadrieril:unspecialize, r=cjgillotMatthias Krüger-15/+21
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-10/+6
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-2/+6
2024-02-20Auto merge of #120692 - Nadrieril:move-column-analysis-to-placeinfo, r=compil...bors-74/+90
2024-02-20Factor out unspecializationNadrieril-15/+21
2024-02-20Reduce capabilities of `Diagnostic`.Nicholas Nethercote-2/+6
2024-02-13Auto merge of #120991 - matthiaskrgr:rollup-f8kw2st, r=matthiaskrgrbors-1/+1
2024-02-12Auto merge of #120324 - Nadrieril:remove-interior-mutability, r=compiler-errorsbors-83/+86
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+3
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-1/+1
2024-02-08Move constructor selection logic to `PlaceInfo`Nadrieril-56/+79
2024-02-08Decide which constructors to report earlier.Nadrieril-19/+17
2024-02-08Tweak how we record missing constructorsNadrieril-21/+16
2024-02-08Rollup merge of #120734 - nnethercote:SubdiagnosticMessageOp, r=compiler-errorsMatthias Krüger-5/+2
2024-02-08Add `SubdiagnosticMessageOp` as a trait alias.Nicholas Nethercote-5/+2
2024-02-07Prefer "0..MAX not covered" to "_ not covered"Nadrieril-5/+3
2024-02-07Use a unique id instead of by-address indexingNadrieril-36/+25
2024-02-07Cleanup comments and dead codeNadrieril-37/+9
2024-02-07Track redundant subpatterns without interior mutabilityNadrieril-21/+55
2024-02-07Move usefulness-specific pattern computations to `usefulness`Nadrieril-33/+41
2024-02-07Rollup merge of #120633 - Nadrieril:place_info, r=compiler-errorsGuillaume Boisseau-40/+57
2024-02-06Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errorsMatthias Krüger-62/+60
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-1/+2
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+3
2024-02-06Track `is_top_level` via `PlaceInfo`Nadrieril-10/+14
2024-02-06Zip together `place_ty` and `place_validity`Nadrieril-33/+46
2024-02-05Auto merge of #120313 - Nadrieril:graceful-error, r=compiler-errorsbors-14/+18
2024-02-03Rollup merge of #120517 - Nadrieril:lower-never-as-wildcard, r=compiler-errorsMatthias Krüger-2/+3
2024-02-03Rollup merge of #120516 - Nadrieril:cleanup-impls, r=compiler-errorsMatthias Krüger-91/+4
2024-02-02Remove dead args from functionsMichael Goulet-1/+1
2024-01-31Remove `pattern_arena` from `RustcMatchCheckCtxt`Nadrieril-8/+9
2024-01-31Use a `Vec` instead of a slice in `DeconstructedPat`Nadrieril-54/+51
2024-01-31Gracefully abort on type incompatibilityNadrieril-14/+18
2024-01-31It is correct to lower `!` to `_`.Nadrieril-2/+3
2024-01-31Manual `Debug` impls are not needed since `TypeCx: Debug`Nadrieril-49/+4
2024-01-31Remove unused `Constructor: PartialEq` implNadrieril-42/+0
2024-01-30Separate `PlaceCtxt` from `UsefulnessCtxt`Nadrieril-8/+8
2024-01-30Make `PatternColumn` part of the public APINadrieril-90/+101
2024-01-30Repurpose `MatchCtxt` for usefulness onlyNadrieril-23/+21
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-52/+42
2024-01-30Make `PatternColumn` generic in `Cx`Nadrieril-27/+20
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-24/+191
2024-01-26Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errorsMatthias Krüger-10/+24
2024-01-25Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errorsMatthias Krüger-107/+97
2024-01-25Implement feature gate logicNadrieril-10/+24
2024-01-24Improve `Range: Debug` implNadrieril-5/+11
2024-01-24Most of the `DeconstructedPat` `Debug` impl is reusableNadrieril-102/+86
2024-01-24Let `ctor_sub_tys` return any Iterator they wantNadrieril-19/+24
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-2/+2