about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2023-07-05 13:42:00 +0000
committerbors <bors@rust-lang.org>2023-07-05 13:42:00 +0000
commite4cd1610067501fa4d347eba7b18f77137dbbf48 (patch)
tree384a419aa2e8e343ce7fa9262f43cae06239ed6d /compiler/rustc_ty_utils/src
parentdfe0683138de0959b6ab6a039b54d9347f6a6355 (diff)
parent25fc6c15869b0bd4241da452ddd2d30b0c16a815 (diff)
downloadrust-e4cd1610067501fa4d347eba7b18f77137dbbf48.tar.gz
rust-e4cd1610067501fa4d347eba7b18f77137dbbf48.zip
Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obk
Effects/keyword generics MVP

This adds `feature(effects)`, which adds `const host: bool` to the generics of const functions, const traits and const impls. This will be used to replace the current logic around const traits.

r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_ty_utils/src')
-rw-r--r--compiler/rustc_ty_utils/src/assoc.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_ty_utils/src/assoc.rs b/compiler/rustc_ty_utils/src/assoc.rs
index b59458bbf35..1adaf5f572e 100644
--- a/compiler/rustc_ty_utils/src/assoc.rs
+++ b/compiler/rustc_ty_utils/src/assoc.rs
@@ -337,6 +337,7 @@ fn associated_type_for_impl_trait_in_trait(
             param_def_id_to_index,
             has_self: opaque_ty_generics.has_self,
             has_late_bound_regions: opaque_ty_generics.has_late_bound_regions,
+            host_effect_index: parent_generics.host_effect_index,
         }
     });
 
@@ -415,6 +416,7 @@ fn associated_type_for_impl_trait_in_impl(
             param_def_id_to_index,
             has_self: false,
             has_late_bound_regions: trait_assoc_generics.has_late_bound_regions,
+            host_effect_index: parent_generics.host_effect_index,
         }
     });