summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
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 #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-2/+2
2022-02-17Rollup merge of #93758 - nnethercote:improve-folding-comments, r=BoxyUwUMatthias Krüger-77/+113
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-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-4/+12
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-16Fix inconsistent symbol mangling with -ZverboseTomasz Miąsko-5/+0
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-4/+12
2022-02-15Inline GenericArg conversion functionsTomasz Miąsko-0/+4
2022-02-15Overhaul `Const`.Nicholas Nethercote-197/+225
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-11/+11
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-56/+152
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-62/+61
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-225/+227
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-13Auto merge of #93670 - erikdesjardins:noundef, r=nikicbors-1/+7
2022-02-12change to a struct variantEllen-1/+1
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-0/+1
2022-02-11skip const eval if we have an error in borrowckMichael Goulet-1/+14
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-69/+27
2022-02-10Auto merge of #93511 - cjgillot:query-copy, r=oli-obkbors-35/+45
2022-02-09Make FnAbiError Copy.Camille GILLOT-26/+17
2022-02-09Use a slice for object_lifetime_defaults.Camille GILLOT-5/+1
2022-02-09Use a slice in DefIdForest.Camille GILLOT-23/+21
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-23/+48
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/+70
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-05Apply noundef attribute to &T, &mut T, Box<T>, boolErik Desjardins-1/+7
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-2/+2
2022-02-03Improve self-referential diagnostic somewhatOli Scherer-12/+19
2022-02-03Fix ret > 1 bound if shadowed by constkadmin-3/+2
2022-02-03Auto merge of #92932 - ouz-a:master, r=oli-obkbors-1/+4