about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/const_to_pat.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-3/+5
2025-08-14use ty::Value instead of manual pairs of types and valtreesRalf Jung-4/+4
2025-08-14PatKind: store constants as valtreesRalf Jung-11/+5
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-1/+2
2025-07-12Port `#[automatically_derived]` to the new attribute parsing infrastructureJonathan Brouwer-2/+4
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-2/+2
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-3/+4
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-23Dont walk into unsafe binders when emiting error for non-structural type matchMichael Goulet-0/+3
2025-04-22make `str` literal patterns usable in deref patternsdianne-0/+10
2025-04-06Remove the `is_inline` field from `PatKind::ExpandedConstant`Nadrieril-6/+1
2025-04-06Let `const_to_pat` handle the `ExpandedConstant` wrappingNadrieril-1/+9
2025-03-26`lower_pat_expr`: use the pattern's type instead of the literal'sdianne-29/+2
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-03Avoid double-boxing lists of THIR subpatternsZalathar-3/+3
2025-01-30add commentsLukas Markeffsky-0/+1
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-11review commentsEsteban Küber-57/+67
2025-01-11Avoid unnecessary note when type has escaping boundsEsteban Küber-3/+9
2025-01-11Avoid duplicated noteEsteban Küber-6/+8
2025-01-11Account for `for<'a>` types when checking for non-structural type in constant...Esteban Küber-3/+10
2025-01-03const-in-pattern: test that the PartialEq impl does not need to be constRalf Jung-0/+4
2024-12-04review comments: reword messages and simplify logicEsteban Küber-42/+22
2024-12-04Add more context to fall-through "const pattern of non-structural type" errorEsteban Küber-41/+157
2024-12-04Add context to fall-through "const pattern of non-structural type" errorEsteban Küber-2/+3
2024-12-04Add additional context for non-sructural type constant used in patternEsteban Küber-4/+19
2024-12-04Specify type kind of constant that can't be used in patternsEsteban Küber-5/+10
2024-12-04Point at generic param through which a const is used in a patternEsteban Küber-1/+21
2024-12-04Tweak unevaluated constant in pattern errorEsteban Küber-1/+10
2024-12-04On `const` pattern errors, point at the `const` item definitionEsteban Küber-33/+70
2024-11-23remove remaining references to `Reveal`lcnr-4/+4
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-19pattern lowering, yeet `TypingEnv::from_param_env`lcnr-58/+33
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-3/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-5/+10
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-22/+40
2024-10-30compiler: Switch to rustc_abi in hir_pretty, lint_defs, and mir_buildJubilee Young-1/+1
2024-10-29TypingMode :thinking:lcnr-2/+4
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-11/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-21Simplify some redundant field namesMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-18remove saw_const_match_error; check if pattern contains an Error insteadRalf Jung-14/+3
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-141/+70
2024-07-02chore: remove duplicate wordshattizai-1/+1
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-2/+2
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-4/+3
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-7/+9
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+3