Keep aliases for trait methods.

cryspen · Feb 4, 2025 · fe4e1e0 · fe4e1e0
1 parent 0f1fc51
commit fe4e1e0
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/engine/lib/dependencies.ml b/engine/lib/dependencies.ml
@@ -539,10 +539,9 @@ module Make (F : Features.T) = struct
                  | Some (`AssociatedItem _) -> true
                  | _ -> false ->
               None
-          | Quote _
+          | Quote _ -> None
           (* This is temporary: see https://github.com/cryspen/hax/issues/1285 *)
-          | Trait _ ->
-              None
+          | Trait { name; _ } when [%equal: concrete_ident] name from_id -> None
           | _ -> Some { attrs; span = origin_item.span; ident = from_id; v })
     in
     let rename =