about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
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/+213
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/+119
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
2024-06-27Make queries more explicitMichael Goulet-18/+27
2024-06-27Rollup merge of #126721 - Zalathar:nested-cov-attr, r=oli-obkJacob Pratt-4/+10
2024-06-26Add `-Zdump-mir-exclude-alloc-bytes`Josh Stone-0/+3
2024-06-26Auto merge of #126844 - scottmcm:more-ptr-cast-gvn, r=saethlinbors-13/+29
2024-06-26coverage: Apply `#[coverage(..)]` recursively to nested functionsZalathar-1/+2
2024-06-26coverage: Detach `#[coverage(..)]` from codegen attribute handlingZalathar-4/+9
2024-06-25Support `#[patchable_function_entries]`Matthew Maurer-0/+4
2024-06-25Support for -Z patchable-function-entryMatthew Maurer-0/+23
2024-06-25Auto merge of #125740 - RalfJung:transmute-size-check, r=oli-obkbors-8/+17
2024-06-25Auto merge of #126813 - compiler-errors:SliceLike, r=lcnrbors-9/+28
2024-06-24Auto merge of #126784 - scottmcm:smaller-terminator, r=compiler-errorsbors-6/+6
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-23Rollup merge of #126833 - RalfJung:extern-type-field-ice, r=compiler-errorsMatthias Krüger-0/+2
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-1/+15
2024-06-22Add a `pointee_metadata_ty_or_projection` helperScott McMurray-13/+29
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-0/+2
2024-06-21Rollup merge of #126787 - Strophox:get-bytes, r=RalfJungJubilee-3/+23
2024-06-21Save 2 pointers in `TerminatorKind` (96 → 80 bytes)Scott McMurray-6/+6