Local bindings are missing in relevant matches for typed holes

[sharkdp]

The following only shows speed_of_light, c as relevant matches for the hole. But the local binding v0 should be shown as well.

>>> fn v() = 1 km/h + ?
      where v0 = 2 km/h

error: Found typed hole
  ┌─ <input:4>:1:19
  │
1 │ fn v() = 1 km/h + ?
  │                   ^ Velocity
  │
  = Found a hole of type 'Velocity' in the statement:
  =   fn v() -> Velocity = (1 kilometre / hour) + ?
      where v0: Velocity = 2 kilometre / hour
  = Relevant matches for this hole include:
  =   speed_of_light, c