pub fn associated_types_for_impl_traits_in_trait_or_impl<'tcx>( _: TyCtxt<'tcx>, _: &Key<'tcx>, ) -> bool