Assignment to a captured scalar creates a scope-local value and does not update the outer scalar; an explicit store is required to communicate results. Diagnose attempts to use scope-local names after ...