about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/thir
AgeCommit message (Expand)AuthorLines
2025-07-01loop match: run exhaustiveness checkFolkert de Vries-1/+3
2025-06-23Add `#[loop_match]` for improved DFA codegenbjorn3-1/+2
2025-06-04Improve some `Visitor` comments.Nicholas Nethercote-0/+3
2025-06-03Deconstruct values in the THIR visitorArtemIsmagilov-10/+16
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-1/+2
2025-03-18Extract `for_each_immediate_subpat` from THIR pattern visitorsZalathar-25/+34
2025-03-06Implement .use keyword as an alias of cloneSantiago Pastorino-0/+3
2025-02-23Rollup merge of #137180 - compiler-errors:sym-regions, r=oli-obkMatthias Krüger-1/+1
2025-02-22Fix binding mode problemsMichael Goulet-1/+1
2025-02-22Make a fake body to store typeck results for global_asmMichael Goulet-1/+1
2025-02-04Fix an inconsistent import.Nicholas Nethercote-3/+2
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+3
2024-12-09Introduce `default_field_values` featureEsteban Küber-1/+2
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-06various fixes for `naked_asm!` implementationFolkert de Vries-1/+7
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+3
2024-09-24use more accurate spans for user type ascriptionsLukas Markeffsky-1/+2
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-04-20Track mutability of deref patternsNadrieril-1/+1
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-9/+1
2024-03-20Add barest-bones deref patternsNadrieril-0/+1
2024-02-24Add asm label support to THIRGary Guo-0/+1
2024-01-05Remove `thir::Guard`Matthew Jasper-8/+3
2023-12-26`thir::Visitor` only needs to visit `&'thir` dataNadrieril-12/+27
2023-11-29Add `never_patterns` feature gateNadrieril-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-11-06Visit patterns in THIR let expressionsMatthew Jasper-1/+2
2023-10-16Address review commentsMatthew Jasper-1/+1
2023-10-16Fix inline const pattern unsafety checking in THIRMatthew Jasper-3/+4
2023-10-14Propagate pattern errors via a new `PatKind::Error` variantNadrieril-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-3/+3
2023-08-14Move scrutinee `HirId` into `MatchSource::TryDesugar`Esteban Küber-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+5
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-1/+1
2023-06-27`thir`: Add `Become` expression kindMaybe Waffle-0/+1
2023-04-21offset_ofDrMeepster-0/+1
2023-04-03Add Span to StmtKind::Let.Camille GILLOT-0/+1
2023-02-26Move THIR printing to rustc_mir_build.Camille GILLOT-881/+0
2023-01-27address reviewb-naber-7/+7
2023-01-26output tree representation for thir-treeb-naber-0/+881
2022-09-02Use boxed slices in `PatKind`.Nicholas Nethercote-3/+3
2022-09-02Clean up THIR patterns.Nicholas Nethercote-2/+2
2022-08-24Rename `thir::Adt` as `thir::AdtExpr`.Nicholas Nethercote-3/+3
2022-08-24Box `thir::ExprKind::InlineAsm`.Nicholas Nethercote-2/+2
2022-08-24Box `thir::ExprKind::Closure`.Nicholas Nethercote-2/+9
2022-08-24Store blocks in `Thir`.Nicholas Nethercote-2/+2
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-61/+0
2022-07-12Move abstract const to rustc_middle::tykadmin-61/+0