summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2021-10-13Turn tcx.vtable_allocation() into a query.Michael Woerister-65/+62
2021-10-13Remove untracked vtable-const-allocation cache from tcxMichael Woerister-14/+2
2021-09-01Compute proc_macros in resolutions.Camille GILLOT-0/+3
2021-09-01Compute all_traits_impls during resolution.Camille GILLOT-0/+2
2021-09-01Stop sorting bodies by span.Camille GILLOT-7/+3
2021-08-31Rollup merge of #88486 - bjorn3:better_arena_macro, r=jackh726Mara Bos-3/+3
2021-08-30Remove unused arena macro argsbjorn3-3/+3
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-2/+2
2021-08-30remove lazy_normalization_constsEllen-1/+1
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-2/+2
2021-08-29Auto merge of #88337 - eddyb:field-failure-is-not-an-option, r=nagisabors-83/+108
2021-08-30rustc_target: remove `LayoutOf` bound from `TyAbiInterface`.Eduard-Mihai Burtescu-24/+30
2021-08-30rustc_target: `TyAndLayout::field` should never error.Eduard-Mihai Burtescu-48/+53
2021-08-27Auto merge of #88328 - fee1-dead:not-quite-const, r=oli-obkbors-24/+36
2021-08-27rustc_target: require `TyAbiInterface` in `LayoutOf`.Eduard-Mihai Burtescu-0/+14
2021-08-27rustc_target: rename `TyAndLayoutMethods` to `TyAbiInterface`.Eduard-Mihai Burtescu-4/+8
2021-08-27rustc_target: add lifetime parameter to `LayoutOf`.Eduard-Mihai Burtescu-13/+9
2021-08-27Add `ty::BoundConstness`Deadbeef-19/+36
2021-08-27Auto merge of #88326 - eddyb:inline-ty-layout-methods, r=oli-obkbors-0/+10
2021-08-27Introduce `~const`Deadbeef-6/+1
2021-08-26Auto merge of #87280 - lcnr:lazy-anon-const-default-substs, r=nikomatsakisbors-135/+467
2021-08-26Auto merge of #87194 - eddyb:const-value-mangling, r=michaelwoerister,oli-obkbors-5/+12
2021-08-26`#[inline]` non-generic `pub fn`s in `rustc_target::abi` and `ty::layout`.Eduard-Mihai Burtescu-0/+10
2021-08-26Auto merge of #88308 - eddyb:cooked-layouts, r=nagisabors-75/+33
2021-08-26optimize `HasTypeFlagsVisitor`lcnr-33/+81
2021-08-26inline stufflcnr-0/+4
2021-08-26type flagslcnr-8/+9
2021-08-26reviewlcnr-11/+25
2021-08-26shrink `ty::PredicateKind` againlcnr-9/+53
2021-08-26ignore const substs in `implicit_infer`lcnr-9/+22
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-12/+12
2021-08-26don't just compare `ty::Const`lcnr-0/+44
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-45/+128
2021-08-26add `tcx` to `fn walk`lcnr-19/+24
2021-08-26make unevaluated const substs optionallcnr-62/+102
2021-08-26require a `tcx` for `TypeVisitor`lcnr-8/+44
2021-08-26Auto merge of #88066 - LeSeulArtichaut:patterns-cleanups, r=nagisabors-41/+37
2021-08-25Auto merge of #85499 - jackh726:assoc-type-norm-rebase, r=nikomatsakisbors-2/+1
2021-08-25Various pattern cleanupsLéo Lanteri Thauvin-18/+20
2021-08-25Use if-let guards in the codebaseLéo Lanteri Thauvin-23/+17
2021-08-24Normalize associated types with bound varsJack Huey-2/+1
2021-08-25Auto merge of #88242 - bonega:allocation_range, r=oli-obkbors-16/+23
2021-08-24Morph `layout_raw` query into `layout_of`.Eduard-Mihai Burtescu-75/+33
2021-08-24Fix typo (variant_id should've been variant_idx).Eduard-Mihai Burtescu-3/+3
2021-08-24Pretty-print uninhabited const values more explicitly.Eduard-Mihai Burtescu-2/+9
2021-08-24Auto merge of #87900 - jackh726:issue-87429, r=nikomatsakisbors-2/+2
2021-08-24Auto merge of #87739 - Aaron1011:remove-used-attrs, r=wesleywiserbors-1/+1
2021-08-23When checking associated type bounds, use bound vars for GAT params in param_envjackh726-2/+2
2021-08-23add `with_start` and `with_end`Andreas Liljeqvist-5/+3
2021-08-23Rename to WrappingRangeAndreas Liljeqvist-8/+8