about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2024-07-08Auto merge of #127421 - cjgillot:cache-iter, r=fmeasebors-8/+26
2024-07-07Fix conflicts after rebaseMaybe Lapkin-1/+1
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-94/+10
2024-07-07Uplift elaborationMichael Goulet-6/+118
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-4/+68
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+12
2024-07-07Add fundamental to trait defMichael Goulet-1/+6
2024-07-07iter_identity is a better nameMichael Goulet-1/+1
2024-07-06Rollup merge of #127405 - compiler-errors:uplift-predicate-emitting-relation,...Michael Goulet-12/+2
2024-07-06Remove walk_shallowMichael Goulet-17/+0
2024-07-06Uplift push_outlives_componentsMichael Goulet-0/+7
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-12/+2
2024-07-06Cache hir_owner_nodes in ParentHirIterator.Camille GILLOT-8/+26
2024-07-05Rollup merge of #127352 - Zalathar:coverage-info, r=oli-obkGuillaume Gomez-17/+32
2024-07-05Rollup merge of #124290 - klensy:dep-format, r=jieyouxuGuillaume Gomez-3/+3
2024-07-05Tweak how the extra newline is printed after coverage infoZalathar-2/+7
2024-07-05coverage: Rename `mir::coverage::BranchInfo` to `CoverageInfoHi`Zalathar-15/+25
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-26/+53
2024-07-04Auto merge of #127288 - lqd:typelen-cache, r=compiler-errorsbors-3/+16
2024-07-04Align the changes to the lang decisionMaybe Lapkin-0/+8
2024-07-03Rollup merge of #127294 - ldm0:ldm_coroutine2, r=lcnrMatthias Krüger-1/+5
2024-07-04Less magic number for corountineLiu Dingming-1/+5
2024-07-03cache type sizes in type-size limit visitorRémy Rakic-3/+16
2024-07-03Add `constness` to `TraitDef`Deadbeef-1/+9
2024-07-03Rollup merge of #127145 - compiler-errors:as_lang_item, r=lcnrMatthias Krüger-45/+68
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-80/+219
2024-07-03Auto merge of #123720 - amandasystems:dyn-enable-refactor, r=nikomatsakisbors-0/+3
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-8/+20
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/+62
2024-07-02Fix spansMichael Goulet-7/+14
2024-07-02Re-implement a type-size based limitMichael Goulet-11/+125
2024-07-02Give Instance::expect_resolve a spanMichael Goulet-5/+7
2024-07-02Miscellaneous renamingMichael Goulet-60/+64
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-26/+53
2024-07-02Rollup merge of #127230 - hattizai:patch01, r=saethlinMatthias Krüger-1/+1
2024-07-02Rollup merge of #127224 - tgross35:pretty-print-exhaustive, r=RalfJungMatthias Krüger-16/+18
2024-07-02Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnrMatthias Krüger-388/+4
2024-07-02chore: remove duplicate wordshattizai-1/+1
2024-07-01Make `FloatTy` checks exhaustive in pretty printTrevor Gross-16/+18
2024-07-01Handle universe leaks by rewriting the constraint graphAmanda Stjerna-0/+3
2024-06-30Uplift fast rejection to new solverMichael Goulet-388/+4
2024-06-29Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obkbors-4/+30
2024-06-29Rollup merge of #127045 - compiler-errors:explicit, r=oli-obkMatthias Krüger-56/+30
2024-06-28address review commentsDeadbeef-2/+2
2024-06-28Implement `Min` trait in new solverDeadbeef-0/+5
2024-06-28implement new effects desugaringDeadbeef-4/+25
2024-06-28Rollup merge of #124741 - nebulark:patchable-function-entries-pr, r=estebank,...Matthias Krüger-0/+27
2024-06-27supertrait_def_ids was already implemented in middleMichael Goulet-37/+3
2024-06-27supertrait_def_idsMichael Goulet-3/+2