Inaccessible binding in the same decl group is suggested in view pattern

[tek]

(v -> _) = undefined
v = undefined
-- • Variable not in scope: v :: t0 -> t1
-- • Perhaps you meant ‘v’

The suggestion should not be made.

[noughtmare]

Sensible. I'd say you can immediately open a GHC issue about this. There's not really much to debate.

[tek]

https://gitlab.haskell.org/ghc/ghc/-/issues/22406