Address review comments

This commit is contained in:
Tom Hvitved
2026-05-29 14:39:35 +02:00
committed by yoff
parent fd7fbd4993
commit f2bb30ee0f
2 changed files with 7 additions and 3 deletions

View File

@@ -46,6 +46,10 @@ signature module LocalNameBindingInputSig<LocationSig Location> {
* // x is not in scope here
* }
* ```
*
* If a local declaration inside the condition is a shadowing sibling declaration
* (see below), then it should use the declaration itself as scope, otherwise it
* should use the condition as scope.
*/
class Conditional extends AstNode {
/** Gets the condition of this conditional. */
@@ -153,8 +157,6 @@ module LocalNameBinding<LocationSig Location, LocalNameBindingInputSig<Location>
implicitDeclInScope(_, this)
or
isTopScope(this)
or
lookupStartsAt(_, this)
}
}