Yes, but you may be holding on a old symbol if a new typecheck run has been executed in the meanwhile. It's the usual deal. As a comparison, check how we use ``askLinkPos`` (which has similar signature), I believe it's always called within an ``ask``...