summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis
AgeCommit message (Expand)AuthorLines
2025-07-31Tidy up `Cargo.toml` files.Nicholas Nethercote-1/+4
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
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-08Add `unreachable_pub` to the default lints for `compiler/` crates.Nicholas Nethercote-7/+7
2025-03-08Specify rust lints for `compiler/` crates via Cargo.Nicholas Nethercote-0/+3
2025-03-07Add helper methods checking for "#[non_exhaustive] that's active"Maja Kądziołka-3/+1
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-43/+35
2025-02-22Upgrade the compiler to edition 2024Michael Goulet-1/+1
2025-02-17Add `pattern_complexity_limit` to `Limits`.Nicholas Nethercote-15/+22
2025-01-20Get rid of mir::Const::from_ty_constMichael Goulet-3/+1
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-9/+9
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-11-23no more Reveal :(lcnr-0/+2
2024-11-23 thir building: use typing_env directlylcnr-25/+13
2024-11-20Rollup merge of #132708 - estebank:const-as-binding, r=NadrierilMatthias Krüger-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-12/+24
2024-11-17Unify expanded constants and named constants in `PatKind`Esteban Küber-2/+2
2024-11-17Fold `PatKind::NamedConstant` into `PatKind::Constant`Esteban Küber-1/+1