summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2025-05-04Auto merge of #140549 - BoxyUwU:proper_const_norm, r=lcnrbors-0/+2
2025-05-01Set groundwork for proper const normalizationBoxy-0/+2
2025-05-01User type annotations for free consts in pattern positionBoxy-2/+1
2025-04-24lower deref patterns on boxes using built-in derefsdianne-7/+4
2025-04-22make `[u8]` and `[u8;N]` literal patterns usable in deref patternsdianne-2/+6
2025-04-22make `str` literal patterns usable in deref patternsdianne-0/+16
2025-04-18Rollup merge of #139615 - nnethercote:rm-name_or_empty, r=jdonszelmannMatthias Krüger-1/+1
2025-04-18Rollup merge of #138528 - dianne:implicit-deref-patterns, r=NadrierilMatthias Krüger-21/+28
2025-04-17Replace infallible `name_or_empty` methods with fallible `name` methods.Nicholas Nethercote-1/+1
2025-04-16lower implicit deref patterns to THIRdianne-18/+24
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-2/+2
2025-04-12store the kind of pattern adjustments in `pat_adjustments`dianne-8/+9
2025-04-07Rollup merge of #139108 - Nadrieril:simplify-expandedconstant, r=oli-obkStuart Cook-77/+83
2025-04-07Rollup merge of #139035 - nnethercote:PatKind-Missing, r=oli-obkStuart Cook-0/+3
2025-04-06Reuse `parent_args`Nadrieril-12/+3
2025-04-06Add the inline const type annotation in pattern loweringNadrieril-2/+34
2025-04-06Tweak `lower_pat_expr`Nadrieril-35/+33
2025-04-06Remove the `is_inline` field from `PatKind::ExpandedConstant`Nadrieril-28/+16
2025-04-06Let `const_to_pat` handle the `ExpandedConstant` wrappingNadrieril-15/+12
2025-04-03Rollup merge of #138610 - oli-obk:no-sort-hir-ids, r=compiler-errorsMatthias Krüger-1/+1
2025-04-03Rollup merge of #138017 - nnethercote:tighten-assignment-op, r=spastorinoMatthias Krüger-2/+17
2025-04-03Make LevelAndSource a structOli Scherer-1/+1
2025-04-03Tighten up assignment operator representations.Nicholas Nethercote-2/+17
2025-04-02Auto merge of #139269 - matthiaskrgr:rollup-pk78gig, r=matthiaskrgrbors-34/+35
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-0/+3
2025-03-26add a temporary workaround for `string_deref_patterns`dianne-2/+21
2025-03-26`lower_pat_expr`: use the pattern's type instead of the literal'sdianne-33/+15
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-3/+3
2025-03-12Rollup merge of #137504 - nnethercote:remove-Map-4, r=ZalatharManish Goregaokar-5/+4
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-5/+4
2025-03-09Explain weird quirk in user type annotation loweringMichael Goulet-3/+23
2025-03-06Generate the right MIR for by use closuresSantiago Pastorino-1/+12
2025-03-06Implement .use keyword as an alias of cloneSantiago Pastorino-0/+12
2025-03-01Rollup merge of #137686 - nbdd0121:asm_const, r=compiler-errorsMatthias Krüger-6/+14
2025-02-26Handle asm const similar to inline constGary Guo-6/+14
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-5/+1
2025-02-23Rollup merge of #137334 - compiler-errors:edition-2024-fresh-2, r=saethlin,tr...Jacob Pratt-3/+3
2025-02-23Rollup merge of #137180 - compiler-errors:sym-regions, r=oli-obkMatthias Krüger-27/+28
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-3/+3
2025-02-22Fix binding mode problemsMichael Goulet-6/+4
2025-02-22Make a fake body to store typeck results for global_asmMichael Goulet-27/+28
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-2/+2
2025-02-18Remove scrutinee_hir_id from ExprKind::Matchbjorn3-2/+1
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-5/+4
2025-02-17Rollup merge of #136817 - dianne:clean-and-comment-pat-migration, r=NadrierilMatthias Krüger-111/+205
2025-02-17Rollup merge of #136671 - nnethercote:middle-limits, r=NadrierilMatthias Krüger-14/+6
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
2025-02-17Add `pattern_complexity_limit` to `Limits`.Nicholas Nethercote-14/+6
2025-02-14More comments for `lower_inline_const`Zalathar-1/+4