about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2024-05-23Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obkMatthias Krüger-4/+4
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+24
2024-05-23Remove `DelayDm`León Orell Valerian Liehr-1/+1
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-12/+7
2024-05-22Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obkLeón Orell Valerian Liehr-0/+39
2024-05-22rustc: Use `tcx.used_crates(())` moreVadim Petrochenkov-4/+4
2024-05-22Auto merge of #125335 - compiler-errors:binder, r=lcnrbors-619/+74
2024-05-22Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespac...bors-0/+5
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-37/+14
2024-05-21Uplift binderMichael Goulet-582/+60
2024-05-21Move `#[do_not_recommend]` to the `#[diagnostic]` namespaceGeorg Semmler-0/+5
2024-05-21Auto merge of #124097 - compiler-errors:box-into-iter, r=WaffleLapkinbors-1/+6
2024-05-20Implement BOXED_SLICE_INTO_ITERMichael Goulet-1/+6
2024-05-20Uplift TermKindMichael Goulet-18/+25
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-0/+16
2024-05-20Uplift RegionVidMichael Goulet-30/+1
2024-05-19Make search graph generic over internerMichael Goulet-1/+9
2024-05-19Auto merge of #125294 - matthiaskrgr:rollup-w42c829, r=matthiaskrgrbors-8/+4
2024-05-19make `Debug` impl for `Term` simplerWaffle Lapkin-8/+4
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+9
2024-05-19Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnrbors-18/+42
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-3/+7
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-16/+36
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-45/+33
2024-05-18(Mostly) revert "Account for type param from other item in `note_and_explain`"Michael Goulet-28/+0
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-0/+39
2024-05-17Rename Unsafe to SafetySantiago Pastorino-45/+33
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-2/+2
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-56/+36