summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-06-07Auto merge of #125918 - oli-obk:const_block_ice, r=compiler-errorsbors-6/+0
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-5/+0
2024-06-07Revert "Cache whether a body has inline consts"Oli Scherer-1/+0
2024-06-06Rollup merge of #125724 - compiler-errors:uplift-relate, r=lcnrJubilee-1027/+287
2024-06-06Uplift TypeRelation and RelateMichael Goulet-864/+247
2024-06-06Uplift TypeErrorMichael Goulet-163/+40
2024-06-06Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk"Rémy Rakic-4/+4
2024-06-05ty::Expr reviewsBoxy-6/+10
2024-06-05Misc fixes (pattern type lowering, cfi, pretty printing)Boxy-18/+1
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+46
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-43/+50
2024-06-05Basic removal of `Ty` from places (boring)Boxy-201/+114
2024-06-04Auto merge of #123536 - compiler-errors:simplify-int-float, r=lcnrbors-21/+1
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-03Align Term methods with GenericArg methodsMichael Goulet-5/+13
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-729/+125
2024-06-01Uplift TypeRelation and RelateMichael Goulet-716/+125
2024-06-01Yeet PolyFnSig from InternerMichael Goulet-13/+0
2024-06-01Simplify IntVarValue/FloatVarValueMichael Goulet-21/+1
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-12/+10
2024-06-01Increase vtable layout sizeMark Rousskov-18/+71
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
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-82/+159
2024-05-29Rollup merge of #124251 - scottmcm:unop-ptr-metadata, r=oli-obk许杰友 Jieyou Xu (Joe)-0/+2
2024-05-28Auto merge of #125665 - matthiaskrgr:rollup-srkx0v1, r=matthiaskrgrbors-0/+7
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-0/+2
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-0/+5
2024-05-28eagerly normalize when adding goalslcnr-6/+3
2024-05-27Omit non-needs_drop drop_in_place in vtablesMark Rousskov-4/+8
2024-05-27Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726Guillaume Gomez-615/+73
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-13/+8
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-39/+30
2024-05-26Use EarlyBinder in rustc_type_ir, simplify importsMichael Goulet-2/+2
2024-05-26Uplift EarlyBinderMichael Goulet-606/+50
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-52/+66
2024-05-25Rollup merge of #125510 - lcnr:change-proof-trees-to-be-shallow, r=compiler-e...Matthias Krüger-1/+2
2024-05-25Auto merge of #124187 - compiler-errors:self-ctor, r=petrochenkovbors-28/+0
2024-05-24remove proof tree formatter, make em shallowlcnr-1/+2
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-35/+8
2024-05-24Remove `DefId` from `EarlyParamRegion` (type system)Boxy-4/+16
2024-05-24docsBoxy-0/+6
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+24