summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2022-02-19Rollup merge of #94086 - tmiasko:char-try-from-scalar-int, r=davidtwcoMatthias Krüger-4/+14
2022-02-19Rollup merge of #94006 - pierwill:upvar-field, r=nikomatsakisMatthias Krüger-2/+2
2022-02-19Rollup merge of #93990 - lcnr:pre-89862-cleanup, r=estebankMatthias Krüger-8/+56
2022-02-18Rollup merge of #89892 - Nilstrieb:suggest-return-impl-trait, r=jackh726Matthias Krüger-2/+22
2022-02-18Suggest `impl Trait` return typeNilstrieb-2/+22
2022-02-18Rollup merge of #93634 - matthiaskrgr:clippy_complexity_jan_2022, r=oli-obkMatthias Krüger-3/+3
2022-02-18Rollup merge of #92683 - jackh726:issue-92033, r=estebankMatthias Krüger-0/+6
2022-02-17Rollup merge of #94011 - est31:let_else, r=lcnrMatthias Krüger-1/+1
2022-02-17Rollup merge of #93758 - nnethercote:improve-folding-comments, r=BoxyUwUMatthias Krüger-77/+113
2022-02-17Suggest copying trait associated type bounds on lifetime errorJack Huey-0/+6
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-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