summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2024-10-11Auto merge of #131045 - compiler-errors:remove-unnamed_fields, r=wesleywiserbors-9/+1
2024-10-10Add variances to RPITITsMichael Goulet-0/+4
2024-10-10Introduce SolverRelatingMichael Goulet-0/+6
2024-10-06Rename NestedMetaItem to MetaItemInnercodemountains-3/+2
2024-10-04Simplify bound var resolution.Camille GILLOT-7/+4
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-5/+6
2024-10-01Remove unnamed field featureMichael Goulet-9/+1
2024-09-30Auto merge of #129499 - fee1-dead-contrib:supereffects, r=compiler-errorsbors-0/+2
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-0/+2
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-19/+16
2024-09-14Rollup merge of #130199 - compiler-errors:by-move, r=cjgillotStuart Cook-1/+1
2024-09-12Auto merge of #130269 - Zalathar:rollup-coxzt2t, r=Zalatharbors-26/+24
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-26/+24
2024-09-12Auto merge of #130249 - compiler-errors:sad-new-solver-coherence, r=lcnrbors-2/+2
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-1/+1
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-2/+2
2024-09-11Simplify some nested if statementsMichael Goulet-26/+24
2024-09-10Don't call closure_by_move_body_def_id on FnOnce async closures in MIR valida...Michael Goulet-1/+1
2024-09-09compiler: Inform the solver of concurrencyJubilee Young-0/+4
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-1/+1
2024-09-08Auto merge of #130036 - weiznich:diagnostic_unstable_tracking, r=compiler-errorsbors-2/+1
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-1/+1
2024-09-06Correctly handle stability of `#[diagnostic]` attributesGeorg Semmler-2/+1
2024-09-05stabilize `-Znext-solver=coherence`lcnr-2/+2
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-1/+1
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-1/+1
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