about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/rustc.rs
AgeCommit message (Expand)AuthorLines
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-07-20Don't consider unstable fields always-inhabitedNadrieril-5/+2
2025-07-04only check for mixed deref/normal constructors when neededdianne-0/+16
2025-07-04always check for mixed deref pattern and normal constructorsdianne-52/+15
2025-07-04treat box patterns as deref patterns in THIR and usefulness analysisdianne-63/+24
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-06error early when mixing deref patterns with normal constructorsdianne-0/+53
2025-05-06let deref patterns participate in usefulness/exhaustivenessdianne-6/+12
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-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-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-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-15/+11
2025-02-17Add `pattern_complexity_limit` to `Limits`.Nicholas Nethercote-3/+7
2025-01-20Get rid of mir::Const::from_ty_constMichael Goulet-3/+1
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
2024-11-17Point at `const` definition when used instead of a binding in a `let` statementEsteban Küber-1/+1
2024-10-27compiler: Add rustc_abi dependence to the compilerJubilee Young-1/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-3/+3
2024-09-28remove couple redundant clonesMatthias Krüger-1/+1
2024-09-23Rollup merge of #130715 - compiler-errors:mir-build-const-eval, r=BoxyUwUMatthias Krüger-4/+7
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-22Replace calls to Const::eval in mir buildMichael Goulet-4/+7
2024-09-02Non-exhaustive structs may be emptyNadrieril-7/+1
2024-08-15Rollup merge of #128965 - Zalathar:no-pat, r=NadrierilJubilee-38/+45
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Remove `print::Pat` entirely, replacing it with `String`Zalathar-42/+28
2024-08-11Remove `PatKind::Never`Zalathar-1/+1
2024-08-11Remove `PatKind::Slice`Zalathar-3/+5
2024-08-11Remove `PatKind::Range`Zalathar-1/+1
2024-08-11Remove `PatKind::Constant`Zalathar-3/+3
2024-08-11Remove `PatKind::Ref`Zalathar-1/+5
2024-08-11Remove `PatKind::Box`Zalathar-1/+1
2024-08-11Remove `PatKind::StructLike`Zalathar-1/+10
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-30 05:36:11 +0000