about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
AgeCommit message (Expand)AuthorLines
2024-03-13Rename `ValidityConstraint` -> `PlaceValidity`Nadrieril-20/+12
2024-03-11`DeconstructedPat.data` is always present nowNadrieril-13/+11
2024-03-11Store field indices in `DeconstructedPat` to avoid virtual wildcardsNadrieril-80/+96
2024-03-11Store pattern arity in `DeconstructedPat`Nadrieril-7/+36
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote-1/+1
2024-03-11Rename `AddToDiagnostic` as `Subdiagnostic`.Nicholas Nethercote-5/+5
2024-03-09Lint small gaps between rangesNadrieril-12/+174
2024-03-09Make `MaybeInfiniteInt::plus_one/minus_one` fallibleNadrieril-20/+23
2024-03-05Rollup merge of #121987 - Nadrieril:abort-on-arity-mismatch, r=compiler-errorsMatthias Krüger-7/+15
2024-03-05Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`.Nicholas Nethercote-2/+2
2024-03-04Abort on arity mismatchNadrieril-7/+15
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez-2/+34
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+2
2024-02-29Rollup merge of #121000 - Nadrieril:keep_all_fields, r=compiler-errorsGuillaume Gomez-88/+98
2024-02-29Rollup merge of #121735 - Nadrieril:no-panic-on-type-error, r=compiler-errorsMatthias Krüger-4/+4
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril-33/+38
2024-02-28SimplifyNadrieril-46/+34
2024-02-28Don't filter out skipped fieldsNadrieril-22/+28
2024-02-28Add special `Skip` constructorNadrieril-22/+15
2024-02-28Push the decision to skip fields further downNadrieril-14/+26
2024-02-28Push down the decision to skip fieldsNadrieril-16/+22
2024-02-28Don't panic when encountering unexpected constructorNadrieril-4/+4
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
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