.

Author: rogeralsing

continue.md

@@ -18,6 +18,7 @@
 - For-of loops now return `undefined` when the body completion is empty, and destructuring initializers in for-of heads allow `in` expressions (fixed `obj-prop-elem-init-in` parse error).
 - Destructuring iterator error propagation is in place for array bindings/assignments: iterator property getters use the evaluation context, `TryGetIteratorForDestructuring` aborts with the pending throw, and iterator throws no longer trigger `IteratorClose` for assignment patterns (`Expressions_arrowFunction_dstr` and `Expressions_assignment_dstr` are green).
 - Dynamic import/defer now flows through `ModuleEntry` so we track instantiation/evaluation per phase, cache deferred namespaces, and guard export\* cycles with an `Instantiating` flag plus `exportStarSet`. `import.defer`/`import.source` are exposed as host functions, deferred namespaces evaluate on first property read, and dynamic import promises pick up the realm Promise prototype with prototype `then/catch/finally` that wrap the underlying `JsPromise`. The export\* circular fixture (`instn-star-props-circular`) and the dynamic import syntax batch are passing.
+- `import.meta` now produces a per-module, null-prototype object cached on the module entry (with a basic `url` value); scripts/eval/Function/AsyncGeneratorFunction constructors reject it as a SyntaxError, and the parser allows call suffixes so `import.meta()` parses and throws at runtime.
 - 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.

languagetests.md

@@ -1,26 +1,3 @@
-       BlockScope_shadowing
-        BlockScope_shadowing("language/block-scope/shadowing/catch-parameter-shadowing-catch-parameter.js",False)
-        BlockScope_shadowing("language/block-scope/shadowing/catch-parameter-shadowing-var-variable.js",False)
-        BlockScope_shadowing("language/block-scope/shadowing/const-declaration-shadowing-catch-parameter.js",False)
-        BlockScope_shadowing("language/block-scope/shadowing/const-declarations-shadowing-parameter-name-let-const-and-var-variables.js",False)
-        BlockScope_shadowing("language/block-scope/shadowing/parameter-name-shadowing-catch-parameter.js",False)
-       Expressions_class_decorator_syntax_classValid
-        Expressions_class_decorator_syntax_classValid("language/expressions/class/decorator/syntax/class-valid/decorator-member-expr-private-identifier.js",False)
-        Expressions_class_decorator_syntax_classValid("language/expressions/class/decorator/syntax/class-valid/decorator-member-expr-private-identifier.js",True)
-       Expressions_dynamicImport
-        Expressions_dynamicImport("language/expressions/dynamic-import/returns-promise.js",False)
-        Expressions_dynamicImport("language/expressions/dynamic-import/returns-promise.js",True)
-        Expressions_dynamicImport("language/expressions/dynamic-import/usage-from-eval.js",False)
-        Expressions_dynamicImport("language/expressions/dynamic-import/usage-from-eval.js",True)
-       Expressions_dynamicImport_assignmentExpression
-        Expressions_dynamicImport_assignmentExpression("language/expressions/dynamic-import/assignment-expression/import-meta.js",True)
-       Expressions_function
-        Expressions_function("language/expressions/function/param-dflt-yield-non-strict.js",False)
-       Expressions_import_meta
-        Expressions_import_meta("language/expressions/import.meta/distinct-for-each-module.js",True)
-        Expressions_import_meta("language/expressions/import.meta/import-meta-is-an-ordinary-object.js",True)
-        Expressions_import_meta("language/expressions/import.meta/not-accessible-from-direct-eval.js",True)
-        Expressions_import_meta("language/expressions/import.meta/same-object-returned.js",True)
        Expressions_optionalChaining
         Expressions_optionalChaining("language/expressions/optional-chaining/eval-optional-call.js",False)
         Expressions_optionalChaining("language/expressions/optional-chaining/eval-optional-call.js",True)
@@ -42,23 +19,3 @@
         ModuleCode_topLevelAwait("language/module-code/top-level-await/module-graphs-does-not-hang.js",True)
        ModuleCode_topLevelAwait_syntax
         ModuleCode_topLevelAwait_syntax("language/module-code/top-level-await/syntax/await-expr-dyn-import.js",True)
-       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_class
-        Statements_class("language/statements/class/static-init-scope-var-close.js",False)
-        Statements_class("language/statements/class/static-init-scope-var-close.js",True)
-        Statements_class("language/statements/class/static-init-scope-var-open.js",False)
-        Statements_class("language/statements/class/static-init-scope-var-open.js",True)
-       Statements_class_definition
-        Statements_class_definition("language/statements/class/definition/invalid-extends.js",True)
-       Statements_class_elements_syntax_valid
-        Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-get-followed-by-generator-asi.js",False)
-        Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-get-followed-by-generator-asi.js",True)
-        Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-set-followed-by-generator-asi.js",False)
-        Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-set-followed-by-generator-asi.js",True)
-       Statements_const_syntax
-        Statements_const_syntax("language/statements/const/syntax/const-invalid-assignment-next-expression-for.js",False)
-        Statements_const_syntax("language/statements/const/syntax/const-invalid-assignment-next-expression-for.js",True)
-       Statements_function
-        Statements_function("language/statements/function/param-dflt-yield-non-strict.js",False)

src/Asynkron.JsEngine/Ast/CallExpressionExtensions.cs

@@ -225,7 +225,8 @@ public static partial class TypedAstEvaluator
             if (callable is EvalHostFunction evalHostFunction)
             {
                 evalHost = evalHostFunction;
-                isDirectEvalCall = expression.Callee is IdentifierExpression { Name.Name: "eval" } &&
+                isDirectEvalCall = !expression.IsOptional &&
+                                   expression.Callee is IdentifierExpression { Name.Name: "eval" } &&
                                    ReferenceEquals(thisValue, Symbol.Undefined) &&
                                    ReferenceEquals(evalHostFunction.Engine, environment.RealmState?.Engine);
                 evalHost.IsDirectCall = isDirectEvalCall;

src/Asynkron.JsEngine/Ast/TypedAstEvaluator.TypedFunction.cs

@@ -620,25 +620,9 @@ public bool TryDefineProperty(string name, PropertyDescriptor descriptor)
                 {
                     if (thisValue is null || ReferenceEquals(thisValue, Symbol.Undefined))
                     {
-                        try
-                        {
-                            boundThis = CallingJsEnvironment?.Get(Symbol.This);
-                        }
-                        catch (InvalidOperationException ex) when (ex.Message.StartsWith("ReferenceError:",
-                                     StringComparison.Ordinal))
-                        {
-                            // If the caller's `this` binding is uninitialized (e.g., derived ctor before super()),
-                            // fall back to the global object per non-strict this-binding semantics.
-                            boundThis = Symbol.Undefined;
-                        }
-                        if (boundThis is null || ReferenceEquals(boundThis, Symbol.Undefined))
-                        {
-                            boundThis = _realmState.Engine?.GlobalObject;
-                            if (boundThis is null)
-                            {
-                                boundThis = Symbol.Undefined;
-                            }
-                        }
+                        boundThis = _realmState.Engine is { GlobalObject: { } globalObj }
+                            ? globalObj
+                            : (object)Symbol.Undefined;
                     }
 
                     if (boundThis is not IJsPropertyAccessor &&