about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-5/+7
2024-06-06Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnrbors-283/+249
2024-06-06Auto merge of #122505 - oli-obk:visit_nested_body2, r=tmiaskobors-3/+23
2024-06-05ty::Expr reviewsBoxy-6/+10
2024-06-05Misc fixes (pattern type lowering, cfi, pretty printing)Boxy-18/+1
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-16/+25
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+48
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-71/+72
2024-06-05Basic removal of `Ty` from places (boring)Boxy-211/+132
2024-06-05Rollup merge of #125505 - aDotInTheVoid:middle-idl, r=pnkfelixMatthias Krüger-5/+6
2024-06-05Don't walk the bodies of free constants for reachability.Oli Scherer-3/+23
2024-06-05Rollup merge of #123168 - joshtriplett:size-of-prelude, r=AmanieuJubilee-1/+1
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-3/+5
2024-06-04Handle safety keyword for extern block inner itemsSantiago Pastorino-2/+2
2024-06-04Auto merge of #123536 - compiler-errors:simplify-int-float, r=lcnrbors-36/+2
2024-06-04Rollup merge of #125968 - BoxyUwU:shrink_ty_expr, r=oli-obkMichael Goulet-155/+208
2024-06-04Downsize `ty::Expr`Boxy-155/+208
2024-06-04Rollup merge of #125750 - compiler-errors:expect, r=lcnr许杰友 Jieyou Xu (Joe)-5/+13
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-5/+13
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-1/+1
2024-06-01Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnrbors-730/+126
2024-06-01Uplift TypeRelation and RelateMichael Goulet-717/+126
2024-06-01Yeet PolyFnSig from InternerMichael Goulet-13/+0
2024-06-01Simplify IntVarValue/FloatVarValueMichael Goulet-36/+2
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-12/+10
2024-06-01Increase vtable layout sizeMark Rousskov-18/+71
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-132/+245
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-2/+2
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-2/+2
2024-05-30Rollup merge of #125754 - Zalathar:conditions-num, r=lqdMatthias Krüger-4/+4
2024-05-30coverage: Rename MC/DC `conditions_num` to `num_conditions`Zalathar-4/+4
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
2024-05-29Make `body_owned_by` return the body directly.Oli Scherer-7/+25
2024-05-29fix non-existing ToPredicate trait errorDaria Sukhonina-2/+2
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-79/+112
2024-05-29Start implementing needs_async_drop and relatedDaria Sukhonina-90/+170
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-22/+21
2024-05-29Rollup merge of #124251 - scottmcm:unop-ptr-metadata, r=oli-obk许杰友 Jieyou Xu (Joe)-1/+34
2024-05-28Auto merge of #125665 - matthiaskrgr:rollup-srkx0v1, r=matthiaskrgrbors-0/+7
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-1/+34
2024-05-28Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnrMatthias Krüger-0/+7
2024-05-28Auto merge of #122662 - Mark-Simulacrum:optional-drop, r=bjorn3bors-4/+8
2024-05-28Make ProofTreeBuilder actually generic over internerMichael Goulet-0/+7
2024-05-28Cache whether a body has inline constsOli Scherer-0/+1
2024-05-28Create const block DefIds in typeck instead of ast loweringOli Scherer-9/+17
2024-05-28eagerly normalize when adding goalslcnr-6/+3
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-22/+21
2024-05-27Omit non-needs_drop drop_in_place in vtablesMark Rousskov-4/+8
2024-05-27Rollup merge of #125616 - RalfJung:mir-validate-downcast-projection, r=compil...Matthias Krüger-2/+2