about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-05-20Rollup merge of #125173 - scottmcm:never-checked, r=davidtwcoMatthias Krüger-20/+40
2024-05-20Rollup merge of #125106 - Zalathar:expressions, r=davidtwcoMatthias Krüger-2/+2
2024-05-20Rollup merge of #124917 - cardigan1008:issue-124819, r=pnkfelixMatthias Krüger-0/+1
2024-05-19Make search graph generic over internerMichael Goulet-1/+9
2024-05-19Auto merge of #125294 - matthiaskrgr:rollup-w42c829, r=matthiaskrgrbors-8/+4
2024-05-19make `Debug` impl for `Term` simplerWaffle Lapkin-8/+4
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+9
2024-05-19Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnrbors-712/+65
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-520/+22
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-196/+47
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-46/+34
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-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