incorrect output from linter.unnecessarySimpa

[kbuzzard]

import Std.Tactic.Simpa

theorem foo : ℕ = ℤ ↔ False := sorry

example (bar : ℕ = ℤ) : False := by
  simpa [foo] using bar
/-
try 'simp at bar' instead of 'simpa using bar' [linter.unnecessarySimpa]
-/

The linter is correct in that simpa can be avoided, but its suggestion is not correct; it should be suggesting simp [foo] at bar (which works). simp at bar does not close the goal.