Backport "Backport from Metals" to 3.3 LTS#234

Merged

tgodzik merged 2 commits intolts-3.3from

backport-lts-3.3-22491

Apr 22, 2025

Commits on Apr 21, 2025

chore: update mtags to `1.5.1`

kasiaMarek
authored and
tgodzik
committed
improvement: look for definition in pc only for local symbols in the current tree

kasiaMarek
authored and
tgodzik
committed