summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2024-06-07Auto merge of #125918 - oli-obk:const_block_ice, r=compiler-errorsbors-1/+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-2/+36
2024-06-06Uplift TypeRelation and RelateMichael Goulet-2/+36
2024-06-06Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk"Rémy Rakic-1/+1
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+9
2024-06-05Basic removal of `Ty` from places (boring)Boxy-32/+19
2024-06-01Uplift TypeRelation and RelateMichael Goulet-2/+2
2024-06-01Yeet PolyFnSig from InternerMichael Goulet-1/+0
2024-05-28Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnrMatthias Krüger-0/+7
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-27Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726Guillaume Gomez-4/+4
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-12/+7
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-7/+7
2024-05-26Use EarlyBinder in rustc_type_ir, simplify importsMichael Goulet-2/+2
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-2/+2
2024-05-24remove proof tree formatter, make em shallowlcnr-1/+2
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-7/+7
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-12/+7
2024-05-22rustc: Use `tcx.used_crates(())` moreVadim Petrochenkov-1/+1
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-10/+0
2024-05-21Uplift binderMichael Goulet-5/+8
2024-05-20Uplift RegionVidMichael Goulet-1/+0
2024-05-19Make search graph generic over internerMichael Goulet-0/+4
2024-05-19Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnrbors-2/+7
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-3/+7
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-0/+1
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-16/+9
2024-05-17Rename Unsafe to SafetySantiago Pastorino-16/+9
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-0/+1
2024-05-16Uplift FnSigMichael Goulet-4/+22
2024-05-13Uplift AliasTyMichael Goulet-9/+67
2024-05-13split out AliasTy -> AliasTermMichael Goulet-0/+1
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-0/+1
2024-05-11Uplift `NormalizesTo`, `CoercePredicate`, and `SubtypePredicate`Michael Goulet-2/+2
2024-05-11Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate`Michael Goulet-3/+11
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+13
2024-05-10Lift `Lift`Michael Goulet-26/+6
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-1/+1
2024-05-10Rollup merge of #124943 - lcnr:generic-args-ref, r=compiler-errorsMatthias Krüger-1/+1
2024-05-10Auto merge of #124953 - compiler-errors:own-params, r=lcnrbors-2/+2
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-2/+2
2024-05-09always use `GenericArgsRef`lcnr-1/+1
2024-05-09Make `#![feature]` suggestion MaybeIncorrectAlex Macleod-1/+1
2024-05-01Step bootstrap cfgsMark Rousskov-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-13/+16