about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2022-02-17Fix ScalarInt to char conversionTomasz Miąsko-4/+14
2022-02-17Improve comments about type folding/visiting.Nicholas Nethercote-77/+113
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-81/+72
2022-02-16Use a `Field` in `ConstraintCategory::ClosureUpvar`pierwill-2/+2
2022-02-16Adopt let_else in even more placesest31-1/+1
2022-02-16Rollup merge of #94037 - tmiasko:verbose, r=Mark-SimulacrumMatthias Krüger-5/+0
2022-02-16Rollup merge of #94020 - tmiasko:pp, r=oli-obkMatthias Krüger-7/+25
2022-02-16Rollup merge of #94017 - fee1-dead:unub, r=bjorn3Matthias Krüger-2/+4
2022-02-16allow special behavior when printing const inferlcnr-7/+24
2022-02-16extract Res to `generics_of` def_id conversionlcnr-1/+32
2022-02-16Auto merge of #93800 - b-naber:static-initializers-mir-val, r=oli-obkbors-9/+23
2022-02-16Fix inconsistent symbol mangling with -ZverboseTomasz Miąsko-5/+0
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-7/+25
2022-02-15try to bless 32bit mir tests manuallyb-naber-8/+4
2022-02-15use AllocId and Ty in ExprKind::StaticRef and delay ConstValue constructionb-naber-3/+9
2022-02-15use mir::Visitor when collecting alloc_ids in pretty printingb-naber-7/+19
2022-02-15treat mir::ConstantKind::Val correctly in check_static_ptrb-naber-1/+1
2022-02-15Inline GenericArg conversion functionsTomasz Miąsko-0/+4
2022-02-15Inline UnifyKey::index and UnifyKey::from_indexTomasz Miąsko-0/+4
2022-02-15Clarify confusing UB statement in MIRDeadbeef-2/+4
2022-02-15Overhaul `Const`.Nicholas Nethercote-243/+273
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-11/+11
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-59/+155
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-63/+62
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-253/+255
2022-02-15Rename `Interned` as `InternedInSet`.Nicholas Nethercote-35/+36
2022-02-14Auto merge of #93298 - lcnr:issue-92113, r=cjgillotbors-27/+5
2022-02-14Auto merge of #93938 - BoxyUwU:fix_res_self_ty, r=lcnrbors-1/+1
2022-02-14fast_reject: remove `StripReferences`lcnr-27/+5
2022-02-13Rollup merge of #93810 - matthewjasper:chalk-and-canonical-universes, r=jackh726Matthias Krüger-3/+3
2022-02-13Auto merge of #93670 - erikdesjardins:noundef, r=nikicbors-1/+7
2022-02-12change to a struct variantEllen-1/+1
2022-02-11Renumber universes when canonicalizing for ChalkMatthew Jasper-3/+3
2022-02-11use body.tainted_by_error to skip loading MIRMichael Goulet-2/+1
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-1/+8
2022-02-11rework borrowck errors so that it's harder to not set taintedMichael Goulet-1/+1
2022-02-11always cache result from mir_borrowckMichael Goulet-1/+2
2022-02-11skip const eval if we have an error in borrowckMichael Goulet-1/+14
2022-02-11implement tainted_by_errors in mir borrowckMichael Goulet-0/+1
2022-02-11Auto merge of #93893 - oli-obk:sad_revert, r=oli-obkbors-75/+27
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-75/+27
2022-02-11Rollup merge of #93853 - steffahn:map_by_value, r=wesleywiserMatthias Krüger-78/+78
2022-02-10Make all hir::Map methods consistently by-valueFrank Steffahn-78/+78
2022-02-10Auto merge of #93511 - cjgillot:query-copy, r=oli-obkbors-57/+87
2022-02-09Rollup merge of #91504 - cynecx:used_retain, r=nikicMatthias Krüger-0/+2
2022-02-09Explain &Arc.Camille GILLOT-0/+4
2022-02-09Make FnAbiError Copy.Camille GILLOT-31/+20
2022-02-09Use a slice for object_lifetime_defaults.Camille GILLOT-8/+2
2022-02-09Use a slice in DefIdForest.Camille GILLOT-25/+22
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-45/+91