summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Collapse)AuthorLines
2021-07-23Encode SourceFile source crate as StableCrateId in incr. comp. OnDiskCache.Michael Woerister-5/+33
2021-07-23Access stable_crate_id directly.Camille GILLOT-2/+7
2021-07-23Do not store crate in latest_foreign_def_path_hashes.Camille GILLOT-7/+0
2021-07-23Encode CrateNum using the StableCrateId for incr. comp.Camille GILLOT-67/+38
2021-06-12Rollup merge of #86189 - JohnTitor:relate-fn-pub, r=Aaron1011Yuki Okushi-1/+1
Make `relate_type_and_mut` public #85343 improved diagnostics around `Relate` impls but made `relate_type_and_mut` private, which was accessible as `relate` previously. This makes it public so that we can use it on rust-semverver. r? ```@Aaron1011```
2021-06-12Rollup merge of #85800 - BoxyUwU:const-param-default-diagnostics, r=oli-obkYuki Okushi-1/+1
Fix some diagnostic issues with const_generics_defaults feature gate This PR makes a few changes: - print out const param defaults in "lifetime ordering" errors rather than discarding them - update `is_simple_text` to account for const params when checking if a type has no generics, this was causing a note to be failed to add to an error message - fixes some diagnostic wording that incorrectly said there was ordering restrictions between type/const params despite the `const_generics_defaults` feature gate is active
2021-06-10Make `relate_type_and_mut` publicYuki Okushi-1/+1
2021-06-10Auto merge of #85910 - cjgillot:no-meta-version, r=Aaron1011bors-4/+0
Drop metadata_encoding_version. Part of #85153 r? `@Aaron1011`
2021-06-09Auto merge of #86150 - cjgillot:notable, r=michaelwoeristerbors-21/+3
Do not require the DefPathTable to construct the on-disk cache. r? `@michaelwoerister`
2021-06-09Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakisbors-13/+10
Create different inference variables for different defining uses of TAITs Fixes #73481 r? `@nikomatsakis` cc `@oli-obk`
2021-06-08Do not require the DefPathTable to construct the on-disk cache.Camille GILLOT-21/+3
2021-06-08use non_erasable_genericsEllen-1/+1
2021-06-07Remove ResolvedOpaqueTy and just use Ty, SubstsRef is already thereSantiago Pastorino-13/+2
2021-06-07Make OpaqueTypeKey the key of opaque types mapSantiago Pastorino-1/+8
2021-06-07Change concrete opaque type to be a `VecMap`Santiago Pastorino-1/+2
2021-06-07Auto merge of #85891 - bjorn3:revert_merge_crate_disambiguator, ↵bors-16/+20
r=Mark-Simulacrum Revert "Merge CrateDisambiguator into StableCrateId" This reverts https://github.com/rust-lang/rust/pull/85804
2021-06-07Revert "Merge CrateDisambiguator into StableCrateId"bjorn3-16/+20
This reverts commit d0ec85d3fb6d322496cb8f4bc1c21e19f23284ad.
2021-06-07Rollup merge of #84262 - camelid:sized-ice, r=estebankYuki Okushi-1/+8
Fix ICE during type layout when there's a `[type error]` Fixes #84108. Based on estebank's [comment], except I used `delay_span_bug` because it should work in more cases, and I think it expresses its intent more clearly. r? `@estebank` [comment]: https://github.com/rust-lang/rust/issues/84108#issuecomment-818916848
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-29/+111
2021-06-05Auto merge of #86002 - cjgillot:expn_that_defined, r=petrochenkovbors-14/+3
Always go through the expn_that_defined query.
2021-06-05Auto merge of #85919 - workingjubilee:simd-ptrs-are-valid, r=petrochenkovbors-5/+0
Allow raw pointers in SIMD types Closes #85915 by loosening the strictness in typechecking and adding a test to guarantee it passes. This still might be too strict, as references currently do pass monomorphization, but my understanding is that they are not guaranteed to be "scalar" in the same way.
2021-06-04Always go through the expn_that_defined query.Camille GILLOT-14/+3
2021-06-03Rollup merge of #85934 - tmiasko:is-union, r=jackh726Yuki Okushi-4/+6
Add `Ty::is_union` predicate
2021-06-03Rollup merge of #85911 - cjgillot:one-output, r=Aaron1011Yuki Okushi-2/+2
Avoid a clone of output_filenames. Part of #85153
2021-06-02Inline is_machine into check_simdJubilee Young-8/+0
2021-06-02Restrict access to crate_name.Camille GILLOT-3/+3
Also remove original_crate_name, which had the exact same implementation
2021-06-02Add `Ty::is_union` predicate and use itTomasz Miąsko-0/+5
2021-06-02Implement `Ty::is_enum` using `matches!`Tomasz Miąsko-4/+1
2021-06-02Auto merge of #85892 - tmiasko:i, r=oli-obkbors-0/+6
Miscellaneous inlining improvements
2021-06-02Auto merge of #85908 - cjgillot:private-dep-query, r=Aaron1011bors-6/+0
Make is_private_dep a query. Part of #85153 r? `@Aaron1011`
2021-06-02Miscellaneous inlining improvementsTomasz Miąsko-0/+6
2021-06-02Auto merge of #85905 - cjgillot:one-trait-map, r=Aaron1011bors-16/+6
Only compute the trait map once Part of #85153 r? `@Aaron1011`
2021-06-01Allow raw pointers in SIMD typesJubilee Young-1/+4
2021-06-01Auto merge of #85829 - bjorn3:simplify_crate_num, r=jackh726bors-3/+2
Remove CrateNum::ReservedForIncrCompCache It's only use is easily replaceable with `Option<CrateNum>`.
2021-06-01Avoid a clone of output_filenames.Camille GILLOT-2/+2
2021-06-01Drop metadata_encoding_version.Camille GILLOT-4/+0
2021-06-01Make is_private_dep a query.Camille GILLOT-6/+0
2021-06-01Remove StableVec.Camille GILLOT-4/+5
2021-06-01Only compute the trait_map once.Camille GILLOT-12/+1
2021-06-01Revert "Reduce the amount of untracked state in TyCtxt"Camille Gillot-73/+98
2021-05-30Drop metadata_encoding_version.Camille GILLOT-4/+0
2021-05-30Correct comments about untracked accesses.Camille GILLOT-7/+7
2021-05-30Make is_private_dep a query.Camille GILLOT-10/+4
2021-05-30Make allocator_kind a query.Camille GILLOT-5/+2
2021-05-30Avoid a clone of output_filenames.Camille GILLOT-2/+2
2021-05-30Remove StableVec.Camille GILLOT-4/+5
2021-05-30Restrict access to crate_name.Camille GILLOT-3/+3
Also remove original_crate_name, which had the exact same implementation
2021-05-30Make resolutions a query.Camille GILLOT-62/+60
2021-05-30Only compute the trait_map once.Camille GILLOT-12/+1
2021-05-30Remove CrateNum::ReservedForIncrCompCachebjorn3-3/+2