Wrong position for binding definitions

[nicolasstucki]

A position of the definition of binding y is wrong

x match {
  case y @ Some(_) => ...
        // ^ currently it point here
}

It can be reproduced in dotty.tools.languageserver.DefinitionTest with

@Test def goToBinding: Unit = {
    withSources(
      code"""class Foo {
            |val x = Some(6)
            |x match {
            |  case ${m1}y${m2} @ Some(_) => ${m3}y${m4}
            |}
       }"""
    ) .definition(m3 to m4, List(m1 to m2))
  }