Технически тогда, когда и несколько других конструкций в Споке - это старые добрые ярлыки (также известные как goto), которые разработчики редко используют в наши дни.
Спок использует их, чтобы позволить разработчикам логически и визуально разделить различные аспекты своих тестов - предположения, ограничения, утверждения или данные.
Преобразования AST во время компиляции Спока, использующие метки, чтобы понять структуру теста и сделать его волшебным.