about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
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
2022-02-09Auto merge of #93741 - Mark-Simulacrum:global-job-id, r=cjgillotbors-2/+2
2022-02-08Switch QueryJobId to a single global counterMark Rousskov-2/+2
2022-02-08Update compiler/rustc_middle/src/ty/sty.rslcnr-0/+2
2022-02-08Update compiler/rustc_middle/src/ty/sty.rslcnr-1/+1
2022-02-08update `ty::TyKind` documentationlcnr-19/+67
2022-02-08Auto merge of #93561 - Amanieu:more-unwind-abi, r=nagisabors-14/+17
2022-02-07Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakisbors-27/+76
2022-02-07Print opaque types from type aliases via their pathOli Scherer-19/+15
2022-02-07Auto merge of #93643 - lcnr:fold-substs-perf, r=michaelwoeristerbors-9/+1
2022-02-06`#[used(linker)]` attribute (https://github.com/dtolnay/linkme/issues/41)cynecx-0/+2
2022-02-05Apply noundef attribute to &T, &mut T, Box<T>, boolErik Desjardins-1/+7
2022-02-04Rollup merge of #90132 - joshtriplett:stabilize-instrument-coverage, r=wesley...Matthias Krüger-3/+3
2022-02-04Rollup merge of #93593 - JulianKnodt:master, r=oli-obkMatthias Krüger-3/+2
2022-02-04fold substslcnr-9/+1
2022-02-03compiler: clippy::complexity fixesMatthias Krüger-3/+3