Incorrect pattern match type error location

[LightAndLight]

f : (| A : a, r |) -> a
f x =
  case x of
    A a -> a

main : IO ()
main = io.pure ()

Expected output:

test.ipso:3:8: error: expected type "()", got type "r"
  |
3 |   case x of
  |        ^

Actual output:

test.ipso:3:3: error: expected type "()", got type "r"
  |
3 |   case x of
  |   ^