about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis
AgeCommit message (Expand)AuthorLines
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-09-02Revert introduction of `[workspace.dependencies]`.Nicholas Nethercote-3/+3
2025-08-28Add `rustc-hash` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-28Add `rustc_apfloat` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Add `tracing` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-23Rollup merge of #145234 - dianne:1-tuple-witnesses, r=jackh726Samuel Tardieu-17/+5
2025-08-14avoid unnecessary type sanity checksRalf Jung-5/+5
2025-08-14shrink TestBranch::Constant and PatRangeBoundary::FiniteRalf Jung-3/+3
2025-08-14change StrLit type to ty::Value as wellRalf Jung-5/+2
2025-08-14use ty::Value instead of manual pairs of types and valtreesRalf Jung-20/+21
2025-08-14pattern testing: store constants as valtreesRalf Jung-8/+10
2025-08-14PatKind: store constants as valtreesRalf Jung-50/+34
2025-08-10clean up witness printing for tuple-like constructorsdianne-17/+2
2025-08-10show a trailing comma on singleton tuple constructors in witness patsdianne-0/+3
2025-08-08Rollup merge of #144545 - ChayimFriedman2:bool-witness-order, r=NadrierilTrevor Gross-5/+8
2025-07-31Tidy up `Cargo.toml` files.Nicholas Nethercote-1/+4
2025-07-28In rustc_pattern_analysis, put `true` witnesses before `false` witnessesChayim Refael Friedman-5/+8
2025-07-26Rollup merge of #144171 - Nadrieril:exhaustive-witnesses, r=davidtwcoTrevor Gross-21/+161
2025-07-20Silence a warningNadrieril-3/+3
2025-07-20List all the variants of non-exhaustive enums in exhaustive modeNadrieril-6/+46
2025-07-20pattern_analysis: add option to get a full set of witnessesNadrieril-16/+116
2025-07-20Don't consider unstable fields always-inhabitedNadrieril-5/+2
2025-07-04only check for mixed deref/normal constructors when neededdianne-1/+24
2025-07-04always check for mixed deref pattern and normal constructorsdianne-53/+88
2025-07-04treat box patterns as deref patterns in THIR and usefulness analysisdianne-63/+24
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-2/+2
2025-06-23Add `#[loop_match]` for improved DFA codegenbjorn3-1/+2
2025-05-28Use `builin_index` instead of hand-rolling itOli Scherer-3/+3
2025-05-20Revert "Fix stack overflow in exhaustiveness due to recursive HIR opaque type...Michael Goulet-35/+5
2025-05-16Remove #![feature(let_chains)] from library and src/librustdocest31-1/+0
2025-05-06error early when mixing deref patterns with normal constructorsdianne-1/+70
2025-05-06let deref patterns participate in usefulness/exhaustivenessdianne-7/+37
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1
2025-04-16Move eager translation to a method on `Diag`Jake Goulding-11/+3
2025-04-07Fix stack overflow in exhaustiveness due to recursive HIR opaque type valuesMichael Goulet-5/+35
2025-04-07Rollup merge of #139035 - nnethercote:PatKind-Missing, r=oli-obkStuart Cook-1/+1
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-1/+4
2025-04-03Remove `LintExpectationId` from `Level` variantsOli Scherer-1/+1
2025-04-03Make LevelAndSource a structOli Scherer-5/+6
2025-04-03add `TypingMode::Borrowck`lcnr-1/+4
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-1/+1
2025-03-20Auto merge of #133889 - compiler-errors:inh-unstable, r=Nadrierilbors-2/+6
2025-03-20Auto merge of #137930 - nnethercote:use-Wunused-crate-dependencies, r=jieyoux...bors-0/+7
2025-03-20Use `-Wunused_crate_dependencies` for compiler crates.Nicholas Nethercote-0/+7
2025-03-19Rollup merge of #138001 - meithecatte:privately-uninhabited, r=NadrierilMatthias Krüger-3/+1
2025-03-18Dont consider fields that are forced unstable due to -Zforce-unstable-if-unma...Michael Goulet-5/+5
2025-03-18Consider fields to be inhabited if they are unstableMichael Goulet-1/+5
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-11Add `unreachable_pub` to `RUSTC_LINT_FLAGS` for `compiler/` crates.Nicholas Nethercote-7/+7
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-10/+8