Add is_impl_trait_in_trait

spastorino · spastorino · commit 47860ddf5893 · 2023-03-06T14:49:43.000-03:00
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs
@@ -2443,6 +2443,14 @@ impl<'tcx> TyCtxt<'tcx> {
     pub fn lower_impl_trait_in_trait_to_assoc_ty(self) -> bool {
         self.sess.opts.unstable_opts.lower_impl_trait_in_trait_to_assoc_ty
     }
+
+    pub fn is_impl_trait_in_trait(self, def_id: DefId) -> bool {
+        if self.lower_impl_trait_in_trait_to_assoc_ty() {
+            self.def_kind(def_id) == DefKind::AssocTy && self.opt_rpitit_info(def_id).is_some()
+        } else {
+            self.def_kind(def_id) == DefKind::ImplTraitPlaceholder
+        }
+    }
 }
 
 impl<'tcx> TyCtxtAt<'tcx> {

Original file line number	Diff line number	Diff line change
`@@ -2443,6 +2443,14 @@ impl<'tcx> TyCtxt<'tcx> {`
`2443`	`2443`	`pub fn lower_impl_trait_in_trait_to_assoc_ty(self) -> bool {`
`2444`	`2444`	`self.sess.opts.unstable_opts.lower_impl_trait_in_trait_to_assoc_ty`
`2445`	`2445`	`}`
	`2446`	`+`
	`2447`	`+ pub fn is_impl_trait_in_trait(self, def_id: DefId) -> bool {`
	`2448`	`+ if self.lower_impl_trait_in_trait_to_assoc_ty() {`
	`2449`	`+ self.def_kind(def_id) == DefKind::AssocTy && self.opt_rpitit_info(def_id).is_some()`
	`2450`	`+ } else {`
	`2451`	`+ self.def_kind(def_id) == DefKind::ImplTraitPlaceholder`
	`2452`	`+ }`
	`2453`	`+ }`
`2446`	`2454`	`}`
`2447`	`2455`
`2448`	`2456`	`impl<'tcx> TyCtxtAt<'tcx> {`