Error ranges include non-relevant places

[MikaelMayer]

Dafny version

3.10.0

Code to produce this issue

datatype Option<T> = Some(T) | None

function orElse(t: Option<nat>, replacement: Option<nat> := None): Option<nat> {
  match t {
    case Some(x) => t
    case None => replacement
  }
}

function test(t: Option<Option<nat>>): Option<nat> {
  match t {
    case Some(x) =>
      assert None == orElse(x);
      orElse(x, Some(0))
    case None => Some(0)
  }
}

Command to run and resulting output

Just run in the latest VSCode

What happened?

The "None" seems to be part of the reported error, which creates an underline that spans way before the actual error.

The error goes away if I explicit the parameter:

What type of operating system are you experiencing the problem on?

Windows but it's likely not relevant