about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-07-12Rollup merge of #127627 - lcnr:rustc_search_graph, r=compiler-errorsMatthias Krüger-7/+22
2024-07-12enable fuzzing of `SearchGraph`lcnr-7/+22
2024-07-11Rollup merge of #127605 - nikic:remove-extern-wasm, r=oli-obkMatthias Krüger-1/+0
2024-07-11Remove extern "wasm" ABINikita Popov-1/+0
2024-07-11Auto merge of #127575 - chenyukang:yukang-fix-struct-fields-ice, r=compiler-e...bors-19/+38
2024-07-11report pat no field error no recoverd struct variantyukang-19/+38
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors-1/+9
2024-07-08Rollup merge of #120248 - WaffleLapkin:bonk-ptr-object-casts, r=compiler-erro...Matthias Krüger-0/+8
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-38/+129
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-31/+10
2024-07-07Uplift elaborationMichael Goulet-6/+118
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-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-2/+2
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/+64
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-74/+193
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-5/+17
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-02Fix spansMichael Goulet-7/+14
2024-07-02Re-implement a type-size based limitMichael Goulet-10/+104
2024-07-02Give Instance::expect_resolve a spanMichael Goulet-5/+7
2024-07-02Miscellaneous renamingMichael Goulet-58/+62
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-2/+2
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-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/+22
2024-06-28address review commentsDeadbeef-2/+2
2024-06-28Implement `Min` trait in new solverDeadbeef-0/+5
2024-06-28implement new effects desugaringDeadbeef-4/+17
2024-06-27supertrait_def_ids was already implemented in middleMichael Goulet-37/+3
2024-06-27supertrait_def_idsMichael Goulet-3/+2
2024-06-27Make queries more explicitMichael Goulet-4/+7
2024-06-26Auto merge of #126844 - scottmcm:more-ptr-cast-gvn, r=saethlinbors-0/+28
2024-06-25Auto merge of #125740 - RalfJung:transmute-size-check, r=oli-obkbors-8/+17