summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2024-08-31Rollup merge of #129659 - RalfJung:const-fn-lang-feat, r=fee1-deadMatthias Krüger-4/+1
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-4/+1
2024-08-31Rollup merge of #129725 - compiler-errors:predicates-of, r=fmeaseMatthias Krüger-4/+2
2024-08-29Add `warn(unreachable_pub)` to `rustc_middle`.Nicholas Nethercote-1/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-4/+2
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-0/+18
2024-08-22Use a LocalDefId in ResolvedArg.Camille GILLOT-9/+9
2024-08-14Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors许杰友 Jieyou Xu (Joe)-9/+0
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-2/+2
2024-08-12do not use the global solver cache for proof treeslcnr-9/+0
2024-08-09Store do_not_recommend-ness in impl headerMichael Goulet-0/+6
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-38/+33
2024-07-17lift_to_tcx -> lift_to_internerMichael Goulet-4/+4
2024-07-14Add cache for `allocate_str`Adwin White-2/+3
2024-07-12enable fuzzing of `SearchGraph`lcnr-7/+22
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-29/+18
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-24/+2
2024-07-07Uplift elaborationMichael Goulet-5/+16
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+8
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-0/+2
2024-07-03Rollup merge of #127145 - compiler-errors:as_lang_item, r=lcnrMatthias Krüger-45/+64
2024-07-02Make fn traits into first-class TraitSolverLangItems to avoid needing fn_trai...Michael Goulet-9/+7
2024-07-02add TyCtxt::as_lang_item, use in new solverMichael Goulet-37/+58
2024-07-02Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnrMatthias Krüger-11/+0
2024-06-30Uplift fast rejection to new solverMichael Goulet-11/+0
2024-06-29Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obkbors-2/+7
2024-06-28address review commentsDeadbeef-2/+2
2024-06-28Implement `Min` trait in new solverDeadbeef-0/+5
2024-06-28implement new effects desugaringDeadbeef-2/+2
2024-06-27supertrait_def_ids was already implemented in middleMichael Goulet-2/+3
2024-06-27supertrait_def_idsMichael Goulet-3/+2
2024-06-27Make queries more explicitMichael Goulet-3/+6
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-7/+3
2024-06-19local_def_path_hash_to_def_id can failMichael Baikov-11/+3
2024-06-18Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnrbors-30/+334
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+4
2024-06-18Uplift the new trait solverMichael Goulet-40/+323
2024-06-18Uplift PredefinedOpaquesDataMichael Goulet-2/+2
2024-06-18Make SearchGraph fully genericMichael Goulet-0/+21
2024-06-16Uplift ExternalConstraintDataMichael Goulet-2/+3
2024-06-13Address nitsMichael Goulet-4/+4
2024-06-13Fix some TODOsMichael Goulet-0/+8
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-2/+21
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-3/+50
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