This can be reproduced in `dotty.tools.languageserver.DefinitionTest` with ```scala @Test def i4678: Unit = { code"""class Foo { | val x: Int = (1: @annot${m1}1${m2} ${m3}@annot2${m4}) |} |class ${m5}annot1${m6} extends scala.annotation.Annotation |class ${m7}annot2${m8} extends scala.annotation.Annotation |""".withSource .definition(m1 to m2, List(m5 to m6)) .definition(m3 to m3, List(m7 to m8)) } ```