Reference missing from call hierarchy

Consider the following example:

inductive Foo where
  | foo
  | bar
  deriving BEq

def f : Foo := .foo

def g (a : Array Foo) : Bool := a.any (· == .foo)

Here, the reference to Foo.foo is picked up in the call hierarchy, but the reference to Foo.foo in g is missing. Ideally, both of these references should be picked up. The reference appears to be missing from the References data structure entirely.

Impact

Add 👍 to issues you consider important. If others are impacted by this issue, please ask them to add 👍 to it.

Use the Lean example in the issue as the reproduction and inspect the References data structure, where the missing reference is reported to occur. The work is done when call hierarchy includes both references to Foo.foo, including the one in g.