about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2024-06-17Remove an unused validation error variantOli Scherer-3/+0
2024-06-16Uplift OpaqueTypeKey too, use it in responseMichael Goulet-39/+3
2024-06-16Uplift ExternalConstraintDataMichael Goulet-27/+9
2024-06-16Make ExternalConstraints just carry outlivesMichael Goulet-2/+1
2024-06-16Uplift Reveal to rustc_type_irMichael Goulet-48/+1
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-1/+14
2024-06-15Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obkGuillaume Gomez-9/+9
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-0/+14
2024-06-15Rollup merge of #126429 - tgross35:f16-f128-const-eval, r=RalfJungMatthias Krüger-0/+14
2024-06-15Rollup merge of #126469 - RalfJung:mir-shifts, r=scottmcmMatthias Krüger-2/+4
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-2/+1
2024-06-14Only compute vtable information during codegenMichael Goulet-1/+14
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-19/+19
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-0/+4
2024-06-14Enable const evaluation for `f16` and `f128`Trevor Gross-0/+14
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-2/+4
2024-06-14Rollup merge of #123962 - oli-obk:define_opaque_types5, r=lcnrMatthias Krüger-1/+1
2024-06-13Address nitsMichael Goulet-4/+8
2024-06-13MIR visitor: constant -> const_operandRalf Jung-9/+9
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-10Rollup merge of #126159 - RalfJung:scalarint-size-mismatch, r=oli-obkMatthias Krüger-163/+129
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-163/+129
2024-06-10Remove some unused crate dependencies.Nicholas Nethercote-2/+1
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-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-1040/+292
2024-06-06Rollup merge of #125724 - compiler-errors:uplift-relate, r=lcnrJubilee-1040/+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-6/+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