The localNameDeclarationStatementLocalName constraint is currently implemented to check that the name in a local name declaration statement has not been previously assigned. However, it allows the name to be that of an out parameter that has not yet been assigned, which should be disallowed.