feed query and remove outdated comment

Author: fee1-dead

compiler/rustc_hir_analysis/src/collect/item_bounds.rs

@@ -104,11 +104,6 @@ pub(super) fn explicit_item_bounds(
         None => {}
     }
 
-    // effects desugared associated types have no bounds.
-    if tcx.is_effects_desugared_assoc_ty(def_id.to_def_id()) {
-        return ty::EarlyBinder::bind(&[]);
-    }
-
     let bounds = match tcx.hir_node_by_def_id(def_id) {
         hir::Node::TraitItem(hir::TraitItem {
             kind: hir::TraitItemKind::Type(bounds, _),

compiler/rustc_middle/src/ty/assoc.rs

@@ -34,7 +34,6 @@ pub struct AssocItem {
     /// provides additional information about its source.
     pub opt_rpitit_info: Option<ty::ImplTraitInTraitData>,
 
-    // TODO: is this necessary
     pub is_effects_desugaring: bool,
 }
 

compiler/rustc_ty_utils/src/assoc.rs

@@ -236,6 +236,9 @@ fn associated_type_for_effects(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Option<De
                 }
             });
 
+            // TODO deduplicate
+            trait_assoc_ty.explicit_item_bounds(ty::EarlyBinder::bind(&[]));
+
             // There are no inferred outlives for the synthesized associated type.
             trait_assoc_ty.inferred_outlives_of(&[]);
 
@@ -311,6 +314,8 @@ fn associated_type_for_effects(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Option<De
                 }
             });
 
+            impl_assoc_ty.explicit_item_bounds(ty::EarlyBinder::bind(&[]));
+
             // There are no inferred outlives for the synthesized associated type.
             impl_assoc_ty.inferred_outlives_of(&[]);