Assertion: block scope | /r/HasProperty | the block of the switch
Facets:
Source sentences:
text: Label names for GOTO statement have function scope, while case label names for switch statements have block scope (the block of the switch).