about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-06-13Fix some TODOsMichael Goulet-0/+8
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-2/+30
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-3/+75
2024-06-13Method resolution constrains hidden types instead of rejecting method candidatesOli Scherer-1/+1
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-2/+2
2024-06-12Use Variance glob import everywhereMichael Goulet-2/+1
2024-06-12Rollup merge of #126075 - compiler-errors:remove-debugwithinfcx, r=lcnrGuillaume Gomez-98/+16
2024-06-12Require any function with a tait in its signature to actually constrain a hid...Oli Scherer-70/+81
2024-06-11Remove DebugWithInfcxMichael Goulet-98/+16
2024-06-11Rollup merge of #126265 - RalfJung:interpret-cast-validity, r=oli-obk许杰友 Jieyou Xu (Joe)-10/+5
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-10/+5
2024-06-11Auto merge of #126139 - compiler-errors:specializes, r=lcnrbors-0/+5
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-163/+129
2024-06-09Auto merge of #126150 - RalfJung:offset_of_slice, r=compiler-errorsbors-0/+34
2024-06-08offset_of: allow (unstably) taking the offset of slice tail fieldsRalf Jung-0/+34
2024-06-08add missing Scalar::from_i128Ralf Jung-0/+5
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-4/+7
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-0/+5
2024-06-07Auto merge of #125918 - oli-obk:const_block_ice, r=compiler-errorsbors-36/+12
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-35/+12
2024-06-07Revert "Cache whether a body has inline consts"Oli Scherer-1/+0
2024-06-07Auto merge of #126108 - workingjubilee:rollup-g7m92b6, r=workingjubileebors-1039/+292
2024-06-06Rollup merge of #125724 - compiler-errors:uplift-relate, r=lcnrJubilee-1039/+292
2024-06-07Auto merge of #125928 - michaelwoerister:fix-cgu-hashstable, r=oli-obkbors-30/+21
2024-06-06Auto merge of #126068 - lqd:revert-124976, r=petrochenkovbors-20/+11
2024-06-06Uplift TypeRelation and RelateMichael Goulet-864/+247
2024-06-06Uplift TypeErrorMichael Goulet-170/+40
2024-06-06Make middle not rely on next_trait_solverMichael Goulet-5/+5
2024-06-06Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk"Rémy Rakic-20/+11
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-03Stabilize order of MonoItems in CGUs and disallow query_instability lint for ...Michael Woerister-30/+21
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1