fix: correctly filter local defs from outgoing calls

leanprover · Jan 10, 2024 · 59f4035 · 59f4035
1 parent 6fbcebe
commit 59f4035
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Lean/Server/Watchdog.lean b/src/Lean/Server/Watchdog.lean
@@ -498,6 +498,7 @@ def handleCallHierarchyOutgoingCalls (p : CallHierarchyOutgoingCallsParams)
       let some parentDecl := usage.parentDecl?
         | return false
       return p.item.name.toName == parentDecl.name
+
     let outgoingUsages := outgoingUsages.map (·.range)
     if outgoingUsages.isEmpty then
       return none
@@ -506,7 +507,7 @@ def handleCallHierarchyOutgoingCalls (p : CallHierarchyOutgoingCallsParams)
       | return none
 
     -- filter local defs from outgoing calls
-    if item.name == p.item.name.toName then
+    if item.name == p.item.name then
       return none
 
     return some ⟨item, outgoingUsages⟩