about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2024-06-24Replace Deref bounds on Interner in favor of a SliceLike traitMichael Goulet-0/+14
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-9/+14
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-1/+3
2024-06-22Add a `pointee_metadata_ty_or_projection` helperScott McMurray-0/+28
2024-06-21Rename a bunch of thingsMichael Goulet-22/+22
2024-06-20Auto merge of #126736 - matthiaskrgr:rollup-rb20oe3, r=matthiaskrgrbors-0/+1
2024-06-20Rollup merge of #126717 - nnethercote:rustfmt-use-pre-cleanups, r=jieyouxuMatthias Krüger-0/+1
2024-06-20Auto merge of #116088 - nbdd0121:unwind, r=Amanieu,RalfJungbors-35/+1
2024-06-20Auto merge of #126409 - pacak:incr-uplorry, r=michaelwoeristerbors-11/+3
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-19Stabilise c_unwindGary Guo-35/+1
2024-06-19local_def_path_hash_to_def_id can failMichael Baikov-11/+3
2024-06-19Rollup merge of #126654 - tgross35:f16-f128-pretty-print, r=jackh726León Orell Valerian Liehr-1/+9
2024-06-19Rollup merge of #126594 - zetanumbers:fix-cross-crate-async-drop-glue, r=oli-obkLeón Orell Valerian Liehr-7/+16
2024-06-18Make pretty printing for `f16` and `f128` consistentTrevor Gross-1/+9
2024-06-18Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnrbors-74/+432
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-4/+6
2024-06-18Fix transmute goalMichael Goulet-0/+4
2024-06-18Uplift the new trait solverMichael Goulet-84/+417