wip(engine): dependencies: ignore impl nodes

hacspec · Jun 20, 2024 · 9a32117 · 9a32117
1 parent fedbd26
commit 9a32117
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/engine/lib/dependencies.ml b/engine/lib/dependencies.ml
@@ -59,7 +59,7 @@ module Make (F : Features.T) = struct
             @ v#visit_ty () self_ty
             @ v#visit_global_ident () (fst of_trait)
             @ concat_map (v#visit_generic_value ()) (snd of_trait)
-            @ concat_map (v#visit_impl_item ()) items
+            (* @ concat_map (v#visit_impl_item ()) items *)
             @ concat_map
                 (fun (ie, ii) ->
                   v#visit_impl_expr () ie @ v#visit_impl_ident () ii)