Assertion: actual scope | /r/HasProperty | nested block
Facets:
value: with a declaration
type: OTHER
Source sentences:
text: Actual scope is the same as potential scope unless there is a nested block with a declaration that introduces identical name (in which case, the entire potential scope of the nested declaration is excluded from the scope of the outer declaration)