Skip to content

Add test case where static field initialized with an anonymous class throws #4935

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
G-Lee1031 wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Add test case where static field initialized with an anonymous class throws #4935

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 32 additions & 0 deletions test/language/statements/class/elements/static-field-anonymous-class-superclass-throws.js
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
// Copyright (C) 2026 Garham Lee. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
esid: sec-runtime-semantics-evaluatebody
description: >
TypeError is thrown when a static field is initialized with an anonymous class extending a non-constructor.
info: |
Runtime Semantics: EvaluateBody (_functionObject_, _argumentsList_)

Initializer :
`=` AssignmentExpression
3. If IsAnonymousFunctionDefinition(|AssignmentExpression|) is *true*, then
a. Let _value_ be ? NamedEvaluation of |Initializer| with argument _functionObject_.[[ClassFieldInitializerName]].

Runtime Semantics: NamedEvaluation (_name_)

ClassExpression : `class` ClassTail
1. Let _value_ be ? ClassDefinitionEvaluation of |ClassTail| with arguments *undefined* and _name_.

Runtime Semantics: ClassDefinitionEvaluation (_classBinding_, _className_)

ClassTail : ClassHeritage? `{` ClassBody? `}`
8.c Let _superclassRef_ be Completion(Evaluation of |ClassHeritage|).
8.e Let _superclass_ be ? GetValue(? _superclassRef_).
8.g. Else if IsConstructor(_superclass_) is *false*, then
i. Throw a *TypeError* exception.
features: [class-static-fields-public, class]
---*/
assert.throws(TypeError, function() {
class x {static field = class extends '' {};}
}, "TypeError is thrown when a static field is initialized with an anonymous class extending a non-constructor.")
Loading