.

Author: rogeralsing

builtintests-todo.md

@@ -724,7 +724,6 @@ Generated from failing/ecma262.testsession (BuiltInsTests section). Each entry l
 - **SharedArrayBuffer_prototype_slice** – 64 failing tests. Sample: built-ins/SharedArrayBuffer/prototype/slice/context-is-not-arraybuffer-object.js, built-ins/SharedArrayBuffer/prototype/slice/context-is-not-object.js, built-ins/SharedArrayBuffer/prototype/slice/descriptor.js.
 - **Statements_asyncFunction** – 2 failing tests. Sample: language/statements/async-function/unscopables-with-in-nested-fn.js, language/statements/async-function/unscopables-with.js.
 - **Statements_asyncGenerator** – 13 failing tests. Sample: language/statements/async-generator/eval-var-scope-syntax-err.js, language/statements/async-generator/unscopables-with-in-nested-fn.js, language/statements/async-generator/unscopables-with.js.
-- **Statements_awaitUsing** – 2 failing tests. Sample: language/statements/await-using/throws-if-initializer-not-object.js.
 - **Statements_break** – 2 failing tests. Sample: language/statements/break/S12.8_A7.js.
 - **Statements_class** – 24 failing tests. Sample: language/statements/class/accessor-name-inst-computed-yield-expr.js, language/statements/class/accessor-name-static-computed-yield-expr.js, language/statements/class/classelementname-abrupt-completion.js.
 - **Statements_class_accessorNameInst** – 2 failing tests. Sample: language/statements/class/accessor-name-inst/literal-numeric-non-canonical.js.
@@ -785,7 +784,6 @@ Generated from failing/ecma262.testsession (BuiltInsTests section). Each entry l
 - **Statements_let_syntax** – 10 failing tests. Sample: language/statements/let/syntax/let-closure-inside-condition.js, language/statements/let/syntax/let-closure-inside-initialization.js, language/statements/let/syntax/let-closure-inside-next-expression.js.
 - **Statements_switch** – 55 failing tests. Sample: language/statements/switch/cptn-a-abrupt-empty.js, language/statements/switch/cptn-a-fall-thru-abrupt-empty.js, language/statements/switch/cptn-a-fall-thru-nrml.js.
 - **Statements_try** – 36 failing tests. Sample: language/statements/try/catch-parameter-boundnames-restriction-arguments-eval-throws.js, language/statements/try/catch-parameter-boundnames-restriction-eval-eval-throws.js, language/statements/try/completion-values.js.
-- **Statements_using** – 2 failing tests. Sample: language/statements/using/throws-if-initializer-not-object.js.
 - **Statements_variable** – 12 failing tests. Sample: language/statements/variable/12.2.1-10-s.js, language/statements/variable/12.2.1-18-s.js, language/statements/variable/12.2.1-21-s.js.
 - **Statements_variable_dstr** – 2 failing tests. Sample: language/statements/variable/dstr/obj-ptrn-elem-id-static-init-await-valid.js, language/types/number/S8.5_A9.js.
 - **String** – 64 failing tests. Sample: built-ins/String/length.js, built-ins/String/numeric-properties.js, built-ins/String/prop-desc.js.

continue.md

@@ -21,6 +21,7 @@
 - Private name assignments now route through private scope/brand resolution, so instance/static private setter brand-checks across multiple class evaluations (factory/eval/realm variants) are passing alongside the private static getter/setter cases.
 - Super() in derived class constructors now finds the owning `this` binding without triggering TDZ ReferenceErrors, so the `this-access-restriction` class definition cases are green in strict and sloppy mode.
 - Logical assignment short-circuits skip `PutValue` (including private refs/accessors), and RHS NamedEvaluation now applies to ||=/&&=/??= with identifier LHS, so the logical-assignment cluster (read-only/accessor/non-extensible and name inference) is green.
+- `using` and `await using` declarations parse correctly and throw TypeError on non-object initializers, so the explicit resource management statement cases now pass.
 
 ## Next Iteration Plan
 1. Re-run the Language suite to refresh the current failure set after the this-access/super binding fixes.

languagetests.md

@@ -89,9 +89,6 @@
        Statements_asyncGenerator
         Statements_asyncGenerator("language/statements/async-generator/yield-star-async-from-sync-iterator-inaccessible.js",False)
         Statements_asyncGenerator("language/statements/async-generator/yield-star-async-from-sync-iterator-inaccessible.js",True)
-       Statements_awaitUsing
-        Statements_awaitUsing("language/statements/await-using/throws-if-initializer-not-object.js",False)
-        Statements_awaitUsing("language/statements/await-using/throws-if-initializer-not-object.js",True)
        Statements_class_definition
         Statements_class_definition("language/statements/class/definition/constructable-but-no-prototype.js",False)
         Statements_class_definition("language/statements/class/definition/constructable-but-no-prototype.js",True)
@@ -145,9 +142,6 @@
         Statements_labeled("language/statements/labeled/value-yield-non-strict.js",False)
        Statements_switch
         Statements_switch("language/statements/switch/scope-lex-async-function.js",False)
-       Statements_using
-        Statements_using("language/statements/using/throws-if-initializer-not-object.js",False)
-        Statements_using("language/statements/using/throws-if-initializer-not-object.js",True)
        Statements_variable
         Statements_variable("language/statements/variable/binding-resolution.js",False)
        Statements_variable_dstr

src/Asynkron.JsEngine/Ast/BindingTargetExtensions.cs

@@ -20,8 +20,10 @@ private void AssignLoopBinding(object? value, JsEnvironment loopEnvironment,
                     break;
                 case VariableKind.Let:
                 case VariableKind.Const:
+                case VariableKind.Using:
+                case VariableKind.AwaitUsing:
                     DefineBindingTarget(target, value, loopEnvironment, context,
-                        declarationKind == VariableKind.Const);
+                        declarationKind is VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing);
                     CollectSymbolsFromBinding(target, context.BlockedFunctionVarNames);
                     break;
                 default:

src/Asynkron.JsEngine/Ast/BlockStatementExtensions.cs

@@ -39,9 +39,12 @@ public static partial class TypedAstEvaluator
             // and throw ReferenceError if accessed before initialization.
             foreach (var stmt in block.Statements)
             {
-                if (stmt is VariableDeclaration { Kind: VariableKind.Let or VariableKind.Const } lexDecl)
+                if (stmt is VariableDeclaration
+                    {
+                        Kind: VariableKind.Let or VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing
+                    } lexDecl)
                 {
-                    var isConst = lexDecl.Kind == VariableKind.Const;
+                    var isConst = lexDecl.Kind is VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing;
                     foreach (var declarator in lexDecl.Declarators)
                     {
                         HoistLexicalBindingTargetForTdz(block, declarator.Target, scope, isConst);

src/Asynkron.JsEngine/Ast/ForEachStatementExtensions.cs

@@ -17,12 +17,14 @@ public static partial class TypedAstEvaluator
             }
 
             var iterableEnvironment = environment;
-            if (statement.DeclarationKind is VariableKind.Let or VariableKind.Const)
+            if (statement.DeclarationKind is VariableKind.Let or VariableKind.Const or VariableKind.Using
+                or VariableKind.AwaitUsing)
             {
                 iterableEnvironment = new JsEnvironment(environment, creatingSource: statement.Source,
                     description: "for-each-head-tdz");
-                statement.Target.CreateUninitializedLexicalBindings(iterableEnvironment,
-                    statement.DeclarationKind == VariableKind.Const);
+                var isConstDeclaration = statement.DeclarationKind is VariableKind.Const or VariableKind.Using
+                    or VariableKind.AwaitUsing;
+                statement.Target.CreateUninitializedLexicalBindings(iterableEnvironment, isConstDeclaration);
             }
 
             var iterable = EvaluateExpression(statement.Iterable, iterableEnvironment, context);
@@ -86,6 +88,7 @@ statement.Body is BlockStatement b
                 }
 
                 var iterationEnvironment = statement.DeclarationKind is VariableKind.Let or VariableKind.Const
+                    or VariableKind.Using or VariableKind.AwaitUsing
                     ? new JsEnvironment(loopEnvironment, creatingSource: statement.Source,
                         description: "for-each-iteration")
                     : loopEnvironment;
@@ -118,12 +121,14 @@ statement.Body is BlockStatement b
             EvaluationContext context, Symbol? loopLabel)
         {
             var iterableEnvironment = environment;
-            if (statement.DeclarationKind is VariableKind.Let or VariableKind.Const)
+            if (statement.DeclarationKind is VariableKind.Let or VariableKind.Const or VariableKind.Using
+                or VariableKind.AwaitUsing)
             {
                 iterableEnvironment = new JsEnvironment(environment, creatingSource: statement.Source,
                     description: "for-each-head-tdz");
-                statement.Target.CreateUninitializedLexicalBindings(iterableEnvironment,
-                    statement.DeclarationKind == VariableKind.Const);
+                var isConstDeclaration = statement.DeclarationKind is VariableKind.Const or VariableKind.Using
+                    or VariableKind.AwaitUsing;
+                statement.Target.CreateUninitializedLexicalBindings(iterableEnvironment, isConstDeclaration);
             }
 
             var iterable = EvaluateExpression(statement.Iterable, iterableEnvironment, context);

src/Asynkron.JsEngine/Ast/IteratorDriverPlanExtensions.cs

@@ -104,6 +104,7 @@ public static partial class TypedAstEvaluator
                     }
 
                     var iterationEnvironment = plan.DeclarationKind is VariableKind.Let or VariableKind.Const
+                        or VariableKind.Using or VariableKind.AwaitUsing
                         ? new JsEnvironment(loopEnvironment, creatingSource: plan.Body.Source,
                             description: "for-each-iteration")
                         : loopEnvironment;
@@ -149,6 +150,7 @@ public static partial class TypedAstEvaluator
 
                 // Enumerator path (non-object next)
                 var iterationEnvironment = plan.DeclarationKind is VariableKind.Let or VariableKind.Const
+                    or VariableKind.Using or VariableKind.AwaitUsing
                     ? new JsEnvironment(loopEnvironment, creatingSource: plan.Body.Source,
                         description: "for-each-iteration")
                     : loopEnvironment;

src/Asynkron.JsEngine/Ast/ProgramNodeExtensions.cs

@@ -191,8 +191,11 @@ trueGlobalEnvironment is not null &&
             {
                 switch (stmt)
                 {
-                    case VariableDeclaration { Kind: VariableKind.Let or VariableKind.Const } lexDecl:
-                        var isConst = lexDecl.Kind == VariableKind.Const;
+                    case VariableDeclaration
+                    {
+                        Kind: VariableKind.Let or VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing
+                    } lexDecl:
+                        var isConst = lexDecl.Kind is VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing;
                         foreach (var declarator in lexDecl.Declarators)
                         {
                             HoistLexicalBindingTargetForGlobalTdz(declarator.Target, executionEnvironment, isConst);
@@ -259,7 +262,10 @@ private static HashSet<Symbol> CollectTopLevelLexicalNames(ImmutableArray<Statem
         {
             switch (statement)
             {
-                case VariableDeclaration { Kind: VariableKind.Let or VariableKind.Const } decl:
+                case VariableDeclaration
+                {
+                    Kind: VariableKind.Let or VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing
+                } decl:
                     foreach (var declarator in decl.Declarators)
                     {
                         CollectBindingNames(declarator.Target, names);

src/Asynkron.JsEngine/Ast/StatementNodeExtensions.cs

@@ -299,7 +299,10 @@ private void CollectLexicalNamesFromStatement(HashSet<Symbol> names)
                         }
 
                         break;
-                    case VariableDeclaration { Kind: VariableKind.Let or VariableKind.Const } letDecl:
+                    case VariableDeclaration
+                    {
+                        Kind: VariableKind.Let or VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing
+                    } letDecl:
                         foreach (var declarator in letDecl.Declarators)
                         {
                             CollectSymbolsFromBinding(declarator.Target, names);
@@ -334,7 +337,7 @@ private void CollectLexicalNamesFromStatement(HashSet<Symbol> names)
                     case ForStatement forStatement:
                         if (forStatement.Initializer is VariableDeclaration
                             {
-                                Kind: VariableKind.Let or VariableKind.Const
+                                Kind: VariableKind.Let or VariableKind.Const or VariableKind.Using or VariableKind.AwaitUsing
                             } decl)
                         {
                             foreach (var declarator in decl.Declarators)
@@ -346,7 +349,8 @@ private void CollectLexicalNamesFromStatement(HashSet<Symbol> names)
                         statement = forStatement.Body;
                         continue;
                     case ForEachStatement forEachStatement:
-                        if (forEachStatement.DeclarationKind is VariableKind.Let or VariableKind.Const)
+                        if (forEachStatement.DeclarationKind is VariableKind.Let or VariableKind.Const
+                            or VariableKind.Using or VariableKind.AwaitUsing)
                         {
                             CollectSymbolsFromBinding(forEachStatement.Target, names);
                         }

src/Asynkron.JsEngine/Ast/Statements.cs

@@ -24,7 +24,9 @@ public enum VariableKind
 {
     Var,
     Let,
-    Const
+    Const,
+    Using,
+    AwaitUsing
 }
 
 /// <summary>