about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-46/+34
2024-05-18(Mostly) revert "Account for type param from other item in `note_and_explain`"Michael Goulet-28/+0
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-0/+39
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-20/+40
2024-05-17Rename Unsafe to SafetySantiago Pastorino-46/+34
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-2/+2
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-83/+38
2024-05-16Make impls UpcastFrom, implement Upcast for UpcastFromMichael Goulet-89/+91
2024-05-16Make P parameter explicitMichael Goulet-16/+16
2024-05-16Rename ToPredicate for UpcastMichael Goulet-85/+85
2024-05-16Uplift FnSigMichael Goulet-109/+53
2024-05-15Rollup merge of #125137 - RalfJung:mir-sh, r=scottmcmLeón Orell Valerian Liehr-2/+6
2024-05-15MIR operators: clarify Shl/Shr handling of negative offsetsRalf Jung-2/+6
2024-05-15Rollup merge of #125108 - Zalathar:info-bitmap-bytes, r=nnethercoteMatthias Krüger-10/+0
2024-05-15Rollup merge of #124990 - fmease:expand-weak-aliases-within-cts, r=compiler-e...Matthias Krüger-1/+1
2024-05-14Rollup merge of #125088 - compiler-errors:uplift-alias-ty, r=lcnrMichael Goulet-480/+131
2024-05-14coverage: Remove confusing comments from `CoverageKind`Zalathar-6/+0
2024-05-14coverage: `CoverageIdsInfo::mcdc_bitmap_bytes` is never neededZalathar-4/+0
2024-05-13Use a proper probe for shadowing implMichael Goulet-0/+5
2024-05-14coverage: Memoize newly-created counter expressionsZalathar-2/+2
2024-05-13Remove to_termMichael Goulet-8/+0
2024-05-13Uplift AliasTyMichael Goulet-480/+139
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-69/+285
2024-05-13Apply nitsMichael Goulet-31/+35
2024-05-13split out AliasTy -> AliasTermMichael Goulet-61/+273
2024-05-13Add `size_of`, `size_of_val`, `align_of`, and `align_of_val` to the preludeJosh Triplett-1/+1
2024-05-13interpret: move error macros into error.rsRalf Jung-132/+126
2024-05-13Auto merge of #124914 - nnethercote:rm-extern-crate-rustc_middle, r=saethlinbors-11/+27
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-11/+27
2024-05-12Auto merge of #124639 - Jules-Bertholet:match-ergonomics-2024-migration-lint,...bors-0/+19
2024-05-12Match ergonomics 2024: migration lintJules Bertholet-0/+19
2024-05-11And `ImplPolarity` tooMichael Goulet-24/+0
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-78/+64
2024-05-11Uplift `NormalizesTo`, `CoercePredicate`, and `SubtypePredicate`Michael Goulet-75/+31
2024-05-11Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate`Michael Goulet-169/+62
2024-05-11Uplift `TraitPredicate`Michael Goulet-77/+13
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-16/+9
2024-05-11Also expand weak alias tys inside consts inside `expand_weak_alias_tys`León Orell Valerian Liehr-1/+1
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-141/+90
2024-05-10Apply nits, make some bounds into supertraits on inherent traitsMichael Goulet-0/+2
2024-05-10Also debugMichael Goulet-0/+4
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-111/+74
2024-05-10Lift `Lift`Michael Goulet-30/+10
2024-05-10Auto merge of #124952 - compiler-errors:no-error, r=lcnrbors-38/+33
2024-05-10Name tweaksMichael Goulet-7/+7
2024-05-10More rename falloutMichael Goulet-18/+19
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-27/+20
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-11/+12
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-14/+8
2024-05-10Rollup merge of #124797 - beetrees:primitive-float, r=davidtwcoMatthias Krüger-8/+26