rust/compiler/rustc_middle/src/ty
bors e7aca89598 Auto merge of #93741 - Mark-Simulacrum:global-job-id, r=cjgillot
Refactor query system to maintain a global job id counter

This replaces the per-shard counters with a single global counter, simplifying
the JobId struct down to just a u64 and removing the need to pipe a DepKind
generic through a bunch of code. The performance implications on non-parallel
compilers are likely minimal (this switches to `Cell<u64>` as the backing
storage over a `u64`, but the latter was already inside a `RefCell` so it's not
really a significance divergence). On parallel compilers, the cost of a single
global u64 counter may be more significant: it adds a serialization point in
theory. On the other hand, we can imagine changing the counter to have a
thread-local component if it becomes worrisome or some similar structure.

The new design is sufficiently simpler that it warrants the potential for slight
changes down the line if/when we get parallel compilation to be more of a
default.

A u64 counter, instead of u32 (the old per-shard width), is chosen to avoid
possibly overflowing it and causing problems; it is effectively impossible that
we would overflow a u64 counter in this context.
2022-02-09 18:54:30 +00:00
..
consts Make Decodable and Decoder infallible. 2022-01-22 10:38:31 +11:00
inhabitedness Simplify DefIdForest. 2022-01-15 21:26:24 +01:00
print Print opaque types from type aliases via their path 2022-02-07 15:50:42 +00:00
_match.rs Lazily resolve type-alias-impl-trait defining uses 2022-02-02 15:40:11 +00:00
adjustment.rs Remove in_band_lifetimes from rustc_middle 2021-12-15 19:50:43 -05:00
adt.rs Ensure that Fingerprint caching respects hashing configuration 2022-01-05 10:13:28 -05:00
assoc.rs Fix ret > 1 bound if shadowed by const 2022-02-03 15:17:51 +00:00
binding.rs words 2020-11-16 22:42:09 +01:00
cast.rs Use rustc_type_ir::{IntTy,UintTy,FloatTy} instead of the rustc_ast` ones in types 2021-01-18 21:09:23 +01:00
closure.rs Auto merge of #89861 - nbdd0121:closure, r=wesleywiser 2022-01-13 18:51:07 +00:00
codec.rs Address review comments. 2022-01-22 10:38:34 +11:00
consts.rs Rollup merge of #92780 - b-naber:postpone-const-eval-coherence, r=lcnr 2022-01-18 22:00:47 +01:00
context.rs Auto merge of #93741 - Mark-Simulacrum:global-job-id, r=cjgillot 2022-02-09 18:54:30 +00:00
diagnostics.rs Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obk 2022-01-18 09:58:39 +00:00
erase_regions.rs initial revert 2022-01-15 01:16:55 +00:00
error.rs Store a Symbol instead of an Ident in AssocItem 2022-01-19 17:13:21 -05:00
fast_reject.rs rustc_middle: Add a method for getting a SimplifiedType definition/ID 2022-01-06 12:04:16 +08:00
flags.rs Lazily resolve type-alias-impl-trait defining uses 2022-02-02 15:40:11 +00:00
fold.rs Lazily resolve type-alias-impl-trait defining uses 2022-02-02 15:40:11 +00:00
generics.rs reviews ish 2022-01-14 13:45:07 +00:00
impls_ty.rs Ensure that Fingerprint caching respects hashing configuration 2022-01-05 10:13:28 -05:00
instance.rs Remove in_band_lifetimes from rustc_middle 2021-12-15 19:50:43 -05:00
layout.rs Auto merge of #93561 - Amanieu:more-unwind-abi, r=nagisa 2022-02-08 03:20:05 +00:00
list.rs Improve the readability of List<T>. 2021-12-09 15:20:58 +11:00
mod.rs Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis 2022-02-07 23:40:26 +00:00
normalize_erasing_regions.rs Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726 2022-01-31 06:58:26 +01:00
query.rs Return an indexmap in all_local_trait_impls query 2022-01-25 17:44:45 -06:00
relate.rs Add term to ExistentialProjection 2022-01-17 20:01:22 +00:00
structural_impls.rs Lazily resolve type-alias-impl-trait defining uses 2022-02-02 15:40:11 +00:00
sty.rs Update compiler/rustc_middle/src/ty/sty.rs 2022-02-08 18:11:59 +01:00
subst.rs fold substs 2022-02-04 11:10:02 +01:00
trait_def.rs implement lint for suspicious auto trait impls 2022-02-01 09:55:19 +01:00
util.rs remove TyS::same_type 2022-02-01 11:21:26 +01:00
vtable.rs Turn tcx.vtable_allocation() into a query. 2021-10-07 20:03:00 +02:00
walk.rs Add term to ExistentialProjection 2022-01-17 20:01:22 +00:00