nova_vm 1.0.0

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.

//! ## [16.1 Scripts](https://tc39.es/ecma262/#sec-scripts)

use crate::{
    ecmascript::{
        AbstractModule, Agent, BUILTIN_STRING_MEMORY, ECMAScriptCode, Environment, ExceptionType,
        ExecutionContext, GlobalEnvironment, JsResult, LexicallyScopedDeclaration, LoadedModules,
        ModuleRequest, ParseResult, PropertyLookupCache, Realm, ScriptOrModule, SourceCode,
        SourceCodeType, String, Value, VarScopedDeclaration, instantiate_function_object,
        script_lexically_declared_names, script_lexically_scoped_declarations,
        script_var_declared_names, script_var_scoped_declarations,
    },
    engine::{Bindable, Executable, GcScope, NoGcScope, Scopable, Vm, bindable_handle},
    heap::{
        ArenaAccess, ArenaAccessMut, BaseIndex, CompactionLists, CreateHeapData, Heap,
        HeapIndexHandle, HeapMarkAndSweep, WorkQueues, arena_vec_access, index_handle,
    },
    ndt,
};
use ahash::AHashSet;
use core::any::Any;
use oxc_ast::ast;
use oxc_diagnostics::OxcDiagnostic;
use oxc_ecmascript::BoundNames;
use std::{ptr::NonNull, rc::Rc};

/// Host defined data for an ECMAScript Agent, Script, or Module.
pub type HostDefined = Rc<dyn Any>;

/// ## [16.1 Scripts](https://tc39.es/ecma262/#sec-scripts)
///
/// Scripts are the most common way of executing synchronous JavaScript code. A
/// _Script_ can be created by parsing a source [`String`] using the
/// [`parse_script`] function, and Script can then be run using the
/// [`script_evaluation`] function.
///
/// Consider favouring [ECMAScript Modules] instead whenever possible.
///
/// [`String`]: crate::ecmascript::String
/// [`parse_script`]: crate::ecmascript::parse_script
/// [`script_evaluation`]: crate::ecmascript::script_evaluation
/// [ECMAScript Modules]: crate::ecmascript::SourceTextModule
#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
#[repr(transparent)]
pub struct Script<'a>(BaseIndex<'a, ScriptRecord<'static>>);
index_handle!(Script);
arena_vec_access!(Script, 'a, ScriptRecord, scripts);

impl core::fmt::Debug for Script<'_> {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "Script({:?})", self.get_index_u32())
    }
}

impl Script<'_> {
    /// Get the script statements as a slice.
    pub(crate) fn get_statements<'a>(
        self,
        agent: &Agent,
        _: NoGcScope<'a, '_>,
    ) -> &'a [ast::Statement<'a>] {
        // SAFETY: Caller promises that SourceTextModule is rooted while the
        // statements slice is held: the SourceTextModuleRecord may move during
        // GC but the statements it points to do not move. Hence the reference
        // is valid while the self SourceTextModule is held (the parent call).
        unsafe {
            core::mem::transmute::<&[ast::Statement], &'a [ast::Statement<'a>]>(
                self.get(agent).ecmascript_code.as_ref(),
            )
        }
    }

    /// Get the script SourceCode.
    pub(crate) fn get_source_code<'a>(
        self,
        agent: &Agent,
        gc: NoGcScope<'a, '_>,
    ) -> SourceCode<'a> {
        self.get(agent).source_code.bind(gc)
    }

    /// ### \[\[Realm]]
    pub(crate) fn realm<'a>(self, agent: &Agent, gc: NoGcScope<'a, '_>) -> Realm<'a> {
        self.get(agent).realm.bind(gc)
    }

    /// \[\[\HostDefined]]
    pub(crate) fn host_defined(self, agent: &Agent) -> Option<HostDefined> {
        self.get(agent).host_defined.clone()
    }

    pub(crate) fn insert_loaded_module(
        self,
        agent: &mut Agent,
        request: ModuleRequest,
        module: AbstractModule,
    ) {
        let requests = &agent.heap.module_request_records;
        self.get_mut(&mut agent.heap.scripts)
            .loaded_modules
            .insert_loaded_module(requests, request, module);
    }
}

impl HeapMarkAndSweep for Script<'static> {
    fn mark_values(&self, queues: &mut WorkQueues) {
        queues.scripts.push(*self);
    }

    fn sweep_values(&mut self, compactions: &CompactionLists) {
        compactions.scripts.shift_index(&mut self.0);
    }
}

impl<'a> CreateHeapData<ScriptRecord<'a>, Script<'a>> for Heap {
    fn create(&mut self, data: ScriptRecord<'a>) -> Script<'a> {
        self.scripts.push(data.unbind());
        self.alloc_counter += core::mem::size_of::<ScriptRecord<'static>>();
        Script(BaseIndex::last(&self.scripts))
    }
}

/// ### [16.1.4 Script Records](https://tc39.es/ecma262/#sec-script-records)
///
/// A Script Record encapsulates information about a script being evaluated.
#[derive(Debug)]
pub(crate) struct ScriptRecord<'a> {
    /// ### \[\[Realm]]
    ///
    /// The realm within which this script was created. undefined if not yet
    /// assigned.
    realm: Realm<'a>,

    /// ### \[\[ECMAScriptCode]]
    ///
    /// The result of parsing the source text of this script.
    ///
    /// Note: The slice and its contents live in the SourceCode heap data in
    /// its contained Allocator. The SourceCode is thus in charge of dropping
    /// the ECMAScriptCode, and we ensure it doesn't drop prematurely by
    /// holding the SourceCode reference.
    pub(crate) ecmascript_code: NonNull<[ast::Statement<'a>]>,
    pub(crate) is_strict: bool,

    /// ### \[\[LoadedModules]]
    ///
    /// A map from the specifier strings imported by this script to the
    /// resolved Module Record. The list does not contain two different Records
    /// with the same \[\[Specifier]].
    loaded_modules: LoadedModules<'a>,

    /// ### \[\[HostDefined]]
    ///
    /// Field reserved for use by host environments that need to associate
    /// additional information with a script.
    pub(crate) host_defined: Option<HostDefined>,

    /// Source text of the script
    ///
    /// The source text is kept in the heap strings vector, through the
    /// SourceCode struct.
    pub(crate) source_code: SourceCode<'a>,
}

// SAFETY: [[ECMAScriptCode]] does not permit mutable access, and points to
// data considered (and used as) immutable. It is safe to send the pointer to
// other threads.
unsafe impl Send for ScriptRecord<'_> {}

bindable_handle!(ScriptRecord);

impl HeapMarkAndSweep for ScriptRecord<'static> {
    fn mark_values(&self, queues: &mut WorkQueues) {
        let Self {
            realm,
            ecmascript_code: _,
            is_strict: _,
            loaded_modules,
            host_defined: _,
            source_code,
        } = self;
        realm.mark_values(queues);
        loaded_modules.mark_values(queues);
        source_code.mark_values(queues);
    }

    fn sweep_values(&mut self, compactions: &CompactionLists) {
        let Self {
            realm,
            ecmascript_code: _,
            is_strict: _,
            loaded_modules,
            host_defined: _,
            source_code,
        } = self;
        realm.sweep_values(compactions);
        loaded_modules.sweep_values(compactions);
        source_code.sweep_values(compactions);
    }
}

/// ### [16.1.5 ParseScript ( sourceText, realm, hostDefined )](https://tc39.es/ecma262/#sec-parse-script)
///
/// The abstract operation ParseScript takes arguments _sourceText_ ([ECMAScript
/// source text]), _realm_ (a [Realm Record]), and _hostDefined_ ([anything])
/// and returns a Script Record or a non-empty List of SyntaxError objects. It
/// creates a Script Record based upon the result of parsing _sourceText_ as a
/// Script. The `strict` boolean is an additional parameter that can be used to
/// parse the _sourceText_ in strict mode: it is recommended to use strict mode
/// unless non-strict mode is required.
///
/// The resulting [`Script`] can be executed using the [`script_evaluation`]
/// function.
///
/// [`Script`]: crate::ecmascript::Script
/// [`script_evaluation`]: crate::ecmascript::script_evaluation
/// [ECMAScript source text]: crate::ecmascript::String
/// [Realm Record]: crate::ecmascript::Realm
/// [anything]: crate::ecmascript::HostDefined
pub fn parse_script<'a>(
    agent: &mut Agent,
    source_text: String,
    realm: Realm,
    strict: bool,
    host_defined: Option<HostDefined>,
    gc: NoGcScope<'a, '_>,
) -> Result<Script<'a>, Vec<OxcDiagnostic>> {
    // 1. Let script be ParseText(sourceText, Script).
    let source_type = SourceCodeType::Script { strict };

    // SAFETY: Script keeps the SourceCode reference alive in the Heap, thus
    // making the Program's references point to a live Allocator.
    let parse_result = unsafe {
        SourceCode::parse_source(
            agent,
            source_text,
            source_type,
            #[cfg(feature = "typescript")]
            true,
            gc,
        )
    };

    let ParseResult {
        source_code,
        body,
        directives: _,
        is_strict,
    } = match parse_result {
        // 2. If script is a List of errors, return script.
        Ok(result) => result,
        Err(errors) => {
            return Err(errors);
        }
    };

    // 3. Return Script Record {
    let script_record = ScriptRecord {
        // [[Realm]]: realm,
        realm: realm.unbind(),
        // [[ECMAScriptCode]]: script,
        // SAFETY: We are moving the statements slice onto the heap together
        // with the SourceCode reference: the latter will keep alive the
        // allocation that Statements point to. Hence, we can unbind the
        // Statements from the garbage collector lifetime here.
        ecmascript_code: NonNull::from(body),
        is_strict,
        // [[LoadedModules]]: « »,
        loaded_modules: Default::default(),
        // [[HostDefined]]: hostDefined,
        host_defined,
        source_code: source_code.unbind(),
    };
    // }
    Ok(agent.heap.create(script_record).bind(gc))
}

/// ### [16.1.6 ScriptEvaluation ( scriptRecord )](https://tc39.es/ecma262/#sec-runtime-semantics-scriptevaluation)
///
/// The abstract operation ScriptEvaluation takes argument scriptRecord (a
/// Script Record) and returns either a normal completion containing an
/// ECMAScript language value or an abrupt completion.
pub fn script_evaluation<'a>(
    agent: &mut Agent,
    script: Script,
    mut gc: GcScope<'a, '_>,
) -> JsResult<'a, Value<'a>> {
    let script = script.bind(gc.nogc());
    let mut id = 0;
    ndt::script_evaluation_start!(|| {
        id = create_id(agent, script, gc.nogc());
        id
    });
    let script_record = script.get(agent);
    let realm_id = script_record.realm;
    let is_strict_mode = script_record.is_strict;
    let source_code = script_record.source_code;
    let realm = agent.get_realm_record_by_id(realm_id);

    // 1. Let globalEnv be scriptRecord.[[Realm]].[[GlobalEnv]].
    let global_env = realm.global_env.unwrap().bind(gc.nogc());

    // 2. Let scriptContext be a new ECMAScript code execution context.
    let script_context = ExecutionContext {
        // 3. Set the Function of scriptContext to null.
        function: None,

        // 4. Set the Realm of scriptContext to scriptRecord.[[Realm]].
        realm: realm_id.unbind(),

        // 5. Set the ScriptOrModule of scriptContext to scriptRecord.
        script_or_module: Some(ScriptOrModule::Script(script.unbind())),

        ecmascript_code: Some(ECMAScriptCode {
            // 6. Set the VariableEnvironment of scriptContext to globalEnv.
            variable_environment: Environment::Global(global_env.unbind()),

            // 7. Set the LexicalEnvironment of scriptContext to globalEnv.
            lexical_environment: Environment::Global(global_env.unbind()),

            // 8. Set the PrivateEnvironment of scriptContext to null.
            private_environment: None,

            is_strict_mode,

            source_code: source_code.unbind(),
        }),
    };

    // TODO: 9. Suspend the running execution context.

    // 10. Push scriptContext onto the execution context stack; scriptContext is now the running execution context.
    agent.push_execution_context(script_context);

    // 11. Let script be scriptRecord.[[ECMAScriptCode]].
    // NOTE: We cannot define the script here due to reference safety.

    // 12. Let result be Completion(GlobalDeclarationInstantiation(script, globalEnv)).
    // SAFETY: script is currently on the execution stack and is thus
    // indirectly rooted.
    let result = unsafe {
        global_declaration_instantiation(agent, script.unbind(), global_env.unbind(), gc.reborrow())
            .unbind()
            .bind(gc.nogc())
    };

    let Some(ScriptOrModule::Script(script)) = agent.running_execution_context().script_or_module
    else {
        panic!("Expected Script");
    };
    let script = script.bind(gc.nogc());

    // 13. If result.[[Type]] is normal, then
    let result: JsResult<Value> = match result {
        Ok(_) => {
            let bytecode =
                Executable::compile_script(agent, script, gc.nogc()).scope(agent, gc.nogc());
            // a. Set result to Completion(Evaluation of script).
            // b. If result.[[Type]] is normal and result.[[Value]] is empty, then
            // i. Set result to NormalCompletion(undefined).
            let result = Vm::execute(agent, bytecode.clone(), None, gc.reborrow())
                .into_js_result()
                .unbind()
                .bind(gc.into_nogc());
            // SAFETY: The bytecode is not accessible by anyone anymore and no one
            // will try to re-run it.
            unsafe { bytecode.take(agent).try_drop(agent) };
            result
        }
        Err(err) => Err(err.unbind().bind(gc.into_nogc())),
    };

    // 14. Suspend scriptContext and remove it from the execution context stack.
    _ = agent.pop_execution_context();

    // TODO: 15. Assert: The execution context stack is not empty.
    // This is not currently true as we do not push an "empty" context stack to the root before running script evaluation.
    // debug_assert!(!agent.execution_context_stack.is_empty());

    // 16. Resume the context that is now on the top of the execution context stack as the
    //     running execution context.
    // NOTE: This is done automatically.

    ndt::script_evaluation_done!(|| id);

    // 17. Return ? result.
    result
}

#[inline(never)]
fn create_id(agent: &Agent, script: Script, gc: NoGcScope) -> u64 {
    u64::try_from(script.get_statements(agent, gc).as_ptr().addr()).unwrap()
}

/// ### [16.1.7 GlobalDeclarationInstantiation ( script, env )](https://tc39.es/ecma262/#sec-globaldeclarationinstantiation)
///
/// The abstract operation GlobalDeclarationInstantiation takes arguments
/// script (a Script Parse Node) and env (a Global Environment Record) and
/// returns either a normal completion containing UNUSED or a throw completion.
/// script is the Script for which the execution context is being established.
/// env is the global environment in which bindings are to be created.
///
/// ## Safety
///
/// Script must be rooted for the duration of this call.
unsafe fn global_declaration_instantiation<'a>(
    agent: &mut Agent,
    script: Script,
    env: GlobalEnvironment,
    mut gc: GcScope<'a, '_>,
) -> JsResult<'a, ()> {
    let script = script.bind(gc.nogc());
    let env = env.bind(gc.nogc());
    let scoped_env = env.scope(agent, gc.nogc());
    // 11. Let script be scriptRecord.[[ECMAScriptCode]].
    let (lex_names, var_names, var_declarations, lex_declarations) = {
        // SAFETY: The caller promises that Script is rooted, meaning that its
        // backing SourceCode cannot be dropped during this call. Hence, we can
        // take the body slice reference and keep it alive for the duration of
        // this call.
        let body = unsafe { script.unbind().get(agent).ecmascript_code.as_ref() };

        // 1. Let lexNames be the LexicallyDeclaredNames of script.
        let lex_names = script_lexically_declared_names(body);
        // 2. Let varNames be the VarDeclaredNames of script.
        let var_names = script_var_declared_names(body);
        // 5. Let varDeclarations be the VarScopedDeclarations of script.
        let var_declarations = script_var_scoped_declarations(body);
        // 13. Let lexDeclarations be the LexicallyScopedDeclarations of script.
        let lex_declarations = script_lexically_scoped_declarations(body);
        (lex_names, var_names, var_declarations, lex_declarations)
    };

    // 3. For each element name of lexNames, do
    for name in lex_names {
        let env = scoped_env.get(agent).bind(gc.nogc());
        let name_atom = name;
        let name = String::from_str(agent, name.as_str(), gc.nogc());
        if
        // a. If env.HasVarDeclaration(name) is true, throw a SyntaxError exception.
        env.has_var_declaration(agent, name)
            // b. If env.HasLexicalDeclaration(name) is true, throw a SyntaxError exception.
            || env.has_lexical_declaration(agent, name)
            // c. Let hasRestrictedGlobal be ? env.HasRestrictedGlobalProperty(name).
            // d. If hasRestrictedGlobal is true, throw a SyntaxError exception.
            || env.unbind().has_restricted_global_property(agent, name.unbind(), gc.reborrow()).unbind()?.bind(gc.nogc())
        {
            let error_message = format!(
                "Redeclaration of restricted global property '{}'.",
                name_atom.as_str()
            );
            return Err(agent.throw_exception(
                ExceptionType::SyntaxError,
                error_message,
                gc.into_nogc(),
            ));
        }
    }

    let env = scoped_env.get(agent).bind(gc.nogc());
    // 4. For each element name of varNames, do
    for name in &var_names {
        // a. If env.HasLexicalDeclaration(name) is true, throw a SyntaxError exception.
        let name = String::from_str(agent, name.as_str(), gc.nogc());
        if env.has_lexical_declaration(agent, name) {
            let error_message = format!(
                "Redeclaration of lexical binding '{}'.",
                name.to_string_lossy_(agent)
            );
            return Err(agent.throw_exception(
                ExceptionType::SyntaxError,
                error_message,
                gc.into_nogc(),
            ));
        }
    }

    // 6. Let functionsToInitialize be a new empty List.
    let mut functions_to_initialize = vec![];
    // 7. Let declaredFunctionNames be a new empty List.
    let mut declared_function_names = AHashSet::default();
    // 8. For each element d of varDeclarations, in reverse List order, do
    for d in var_declarations.iter().rev() {
        // a. If d is not either a VariableDeclaration, a ForBinding, or a BindingIdentifier, then
        if let VarScopedDeclaration::Function(d) = *d {
            // i. Assert: d is either a FunctionDeclaration, a GeneratorDeclaration, an AsyncFunctionDeclaration, or an AsyncGeneratorDeclaration.
            // ii. NOTE: If there are multiple function declarations for the same name, the last declaration is used.
            // iii. Let fn be the sole element of the BoundNames of d.
            let mut function_name = None;
            d.bound_names(&mut |identifier| {
                assert!(function_name.is_none());
                function_name = Some(identifier.name);
            });
            let function_name = function_name.unwrap();
            // iv. If declaredFunctionNames does not contain fn, then
            if declared_function_names.insert(function_name) {
                // 1. Let fnDefinable be ? env.CanDeclareGlobalFunction(fn).
                let fn_name = String::from_str(agent, function_name.as_str(), gc.nogc());
                let fn_definable = scoped_env
                    .get(agent)
                    .can_declare_global_function(agent, fn_name.unbind(), gc.reborrow())
                    .unbind()?
                    .bind(gc.nogc());
                // 2. If fnDefinable is false, throw a TypeError exception.
                if !fn_definable {
                    let error_message = format!(
                        "Cannot declare of global function '{}'.",
                        function_name.as_str()
                    );
                    return Err(agent.throw_exception(
                        ExceptionType::TypeError,
                        error_message,
                        gc.into_nogc(),
                    ));
                }
                // 3. Append fn to declaredFunctionNames.
                // 4. Insert d as the first element of functionsToInitialize.
                functions_to_initialize.push(d);
            }
        }
    }

    // 9. Let declaredVarNames be a new empty List.
    let mut declared_var_names = AHashSet::default();
    // 10. For each element d of varDeclarations, do
    for d in var_declarations {
        // a. If d is either a VariableDeclaration, a ForBinding, or a BindingIdentifier, then
        if let VarScopedDeclaration::Variable(d) = d {
            // i. For each String vn of the BoundNames of d, do
            let mut bound_names = vec![];
            d.id.bound_names(&mut |identifier| {
                bound_names.push(identifier.name);
            });
            for vn in bound_names {
                // 1. If declaredFunctionNames does not contain vn, then
                if !declared_function_names.contains(&vn) {
                    // a. Let vnDefinable be ? env.CanDeclareGlobalVar(vn).
                    // TODO: This is a very problematic area for lifetimes.
                    // CanDeclareGlobalVar can trigger GC, but we also need to
                    // hash the strings to eliminate duplicates...
                    let vn = String::from_str(agent, vn.as_str(), gc.nogc()).unbind();
                    let vn_definable = scoped_env
                        .get(agent)
                        .can_declare_global_var(agent, vn, gc.reborrow())
                        .unbind()?
                        .bind(gc.nogc());
                    // b. If vnDefinable is false, throw a TypeError exception.
                    if !vn_definable {
                        let error_message = format!(
                            "Cannot declare global variable '{}'.",
                            vn.to_string_lossy_(agent)
                        );
                        return Err(agent.throw_exception(
                            ExceptionType::TypeError,
                            error_message,
                            gc.into_nogc(),
                        ));
                    }
                    // c. If declaredVarNames does not contain vn, then
                    // i. Append vn to declaredVarNames.
                    declared_var_names.insert(vn);
                }
            }
        }
    }

    // 11. NOTE: No abnormal terminations occur after this algorithm step if the
    //     global object is an ordinary object. However, if the global object is
    //     a Proxy exotic object it may exhibit behaviours that cause abnormal
    //     terminations in some of the following steps.
    // 12. NOTE: Annex B.3.2.2 adds additional steps at this point.

    // 14. Let privateEnv be null.
    let private_env = None;
    let env = scoped_env.get(agent).bind(gc.nogc());
    // 15. For each element d of lexDeclarations, do
    for d in lex_declarations {
        // a. NOTE: Lexically declared names are only instantiated here but not initialized.
        let mut bound_names = vec![];
        let mut const_bound_names = vec![];
        let mut closure = |identifier: &ast::BindingIdentifier| {
            bound_names.push(String::from_str(agent, identifier.name.as_str(), gc.nogc()));
        };
        match d {
            LexicallyScopedDeclaration::Variable(decl) => {
                if decl.kind == ast::VariableDeclarationKind::Const {
                    decl.id.bound_names(&mut |identifier| {
                        const_bound_names.push(String::from_str(
                            agent,
                            identifier.name.as_str(),
                            gc.nogc(),
                        ))
                    });
                } else {
                    decl.id.bound_names(&mut closure)
                }
            }
            LexicallyScopedDeclaration::Function(decl) => decl.bound_names(&mut closure),
            LexicallyScopedDeclaration::Class(decl) => decl.bound_names(&mut closure),
            #[cfg(feature = "typescript")]
            LexicallyScopedDeclaration::TSEnum(decl) => decl.id.bound_names(&mut closure),
            LexicallyScopedDeclaration::DefaultExport => {
                bound_names.push(BUILTIN_STRING_MEMORY._default_)
            }
        }
        // b. For each element dn of the BoundNames of d, do
        for dn in const_bound_names {
            // i. If IsConstantDeclaration of d is true, then
            // 1. Perform ? env.CreateImmutableBinding(dn, true).
            env.create_immutable_binding(agent, dn, true, gc.nogc())
                .unbind()?
                .bind(gc.nogc());
        }
        for dn in bound_names {
            // ii. Else,
            // 1. Perform ? env.CreateMutableBinding(dn, false).
            env.create_mutable_binding(agent, dn, false, gc.nogc())
                .unbind()?
                .bind(gc.nogc());
        }
    }

    // 16. For each Parse Node f of functionsToInitialize, do
    for f in functions_to_initialize {
        // a. Let fn be the sole element of the BoundNames of f.
        let mut function_name = None;
        f.bound_names(&mut |identifier| {
            assert!(function_name.is_none());
            function_name = Some(identifier.name);
        });
        let env = scoped_env.get(agent).bind(gc.nogc());
        // b. Let fo be InstantiateFunctionObject of f with arguments env and privateEnv.
        let fo =
            instantiate_function_object(agent, f, Environment::Global(env), private_env, gc.nogc());
        let function_name = String::from_str(agent, function_name.unwrap().as_str(), gc.nogc());
        // c. Perform ? env.CreateGlobalFunctionBinding(fn, fo, false).
        env.unbind()
            .create_global_function_binding(
                agent,
                function_name.unbind(),
                fo.unbind().into(),
                false,
                gc.reborrow(),
            )
            .unbind()?
            .bind(gc.nogc());
    }

    // 17. For each String vn of declaredVarNames, do
    for vn in declared_var_names {
        // a. Perform ? env.CreateGlobalVarBinding(vn, false).
        let cache = PropertyLookupCache::new(agent, vn.to_property_key());
        scoped_env
            .get(agent)
            .create_global_var_binding(agent, vn, cache, false, gc.reborrow())
            .unbind()?
            .bind(gc.nogc());
    }
    // 18. Return UNUSED.
    Ok(())
}

#[cfg(test)]
mod test {
    use std::ops::ControlFlow;

    use crate::{
        ecmascript::{
            Agent, AgentOptions, ArgumentsList, Array, BUILTIN_STRING_MEMORY, Behaviour,
            BuiltinFunctionArgs, DefaultHostHooks, ExceptionType, InternalMethods, JsResult,
            Number, Object, PropertyKey, SmallInteger, String, TryHasBindingContinue, TryHasResult,
            Value, create_builtin_function, create_data_property_or_throw,
            initialize_default_realm, parse_script, script_evaluation, unwrap_try,
        },
        engine::{Bindable, GcScope, Scopable},
        heap::ArenaAccess,
    };

    #[test]
    fn empty_script() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, Value::Undefined);
    }

    #[test]
    fn basic_constants() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "true", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, true.into());
    }

    #[test]
    fn unary_minus() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "-2", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, (-2).into());
    }

    #[test]
    fn unary_void() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "void (2 + 2 + 6)", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, Value::Undefined);
    }

    #[test]
    fn unary_plus() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "+(54)", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, (54).into());
    }

    #[test]
    fn logical_not() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "!true", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, (false).into());
    }

    #[test]
    fn bitwise_not() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "~0b1111", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, (-16).into());
    }

    #[test]
    fn unary_typeof() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "typeof undefined", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "undefined", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof null", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "object", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof \"string\"", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "string", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof Symbol()", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "symbol", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof true", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "boolean", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof 3", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "number", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof 3n", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "bigint", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof {}", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "object", gc.nogc())
        );

        let source_text = String::from_static_str(&mut agent, "typeof (function() {})", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "function", gc.nogc())
        );
    }

    #[test]
    fn binary_add() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "2 + 2 + 6", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        assert_eq!(result, (10).into());
    }

    #[test]
    fn var_assign() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "var foo = 3;", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Undefined);
    }

    #[test]
    fn empty_object() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "var foo = {};", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
        let key = PropertyKey::from_static_str(&mut agent, "foo", gc.nogc());
        let foo = unwrap_try(agent.current_global_object(gc.nogc()).try_get_own_property(
            &mut agent,
            key,
            None,
            gc.nogc(),
        ))
        .unwrap()
        .value
        .unwrap();
        assert!(foo.is_object());
        let result = Object::try_from(foo).unwrap();
        assert!(
            result
                .unbind()
                .internal_own_property_keys(&mut agent, gc)
                .unwrap()
                .is_empty()
        );
    }

    #[test]
    fn non_empty_object() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "var foo = { a: 3 };", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
        let key = PropertyKey::from_static_str(&mut agent, "foo", gc.nogc());
        let foo = unwrap_try(agent.current_global_object(gc.nogc()).try_get_own_property(
            &mut agent,
            key,
            None,
            gc.nogc(),
        ))
        .unwrap()
        .value
        .unwrap();
        assert!(foo.is_object());
        let result = Object::try_from(foo).unwrap();
        let key = PropertyKey::from_static_str(&mut agent, "a", gc.nogc());
        assert_eq!(
            result.try_has_property(&mut agent, key, None, gc.nogc()),
            ControlFlow::Continue(TryHasResult::Offset(0, result))
        );
        assert_eq!(
            unwrap_try(result.try_get_own_property(&mut agent, key, None, gc.nogc()))
                .unwrap()
                .value,
            Some(Value::from(3))
        );
    }

    #[test]
    fn empty_array() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "var foo = [];", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
        let foo_key = String::from_static_str(&mut agent, "foo", gc.nogc());
        let foo = unwrap_try(agent.current_global_env(gc.nogc()).try_get_binding_value(
            &mut agent,
            foo_key,
            None,
            true,
            gc.nogc(),
        ));
        assert!(foo.is_object());
        let result = Object::try_from(foo).unwrap();
        let keys = unwrap_try(result.try_own_property_keys(&mut agent, gc.nogc()));
        assert_eq!(keys.len(), 1);
        assert_eq!(keys[0], BUILTIN_STRING_MEMORY.length.to_property_key());
    }

    #[test]
    fn non_empty_array() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "var foo = [ 'a', 3 ];", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
        let foo_key = String::from_static_str(&mut agent, "foo", gc.nogc());
        let foo = unwrap_try(agent.current_global_env(gc.nogc()).try_get_binding_value(
            &mut agent,
            foo_key,
            None,
            true,
            gc.nogc(),
        ));
        assert!(foo.is_object());
        let result = Array::try_from(foo).unwrap();
        let key = PropertyKey::Integer(0.into());
        assert_eq!(
            result.try_has_property(&mut agent, key, None, gc.nogc()),
            ControlFlow::Continue(TryHasResult::Custom(0, result.into()))
        );
        assert_eq!(
            unwrap_try(result.try_get_own_property(&mut agent, key, None, gc.nogc()))
                .unwrap()
                .value,
            Some(Value::from_static_str(&mut agent, "a", gc.nogc()))
        );
        let key = PropertyKey::Integer(1.into());
        assert_eq!(
            result.try_has_property(&mut agent, key, None, gc.nogc()),
            ControlFlow::Continue(TryHasResult::Custom(1, result.into()))
        );
        assert_eq!(
            unwrap_try(result.try_get_own_property(&mut agent, key, None, gc.nogc()))
                .unwrap()
                .value,
            Some(Value::from(3))
        );
    }

    #[test]
    fn empty_function() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "function foo() {}", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
        let source_text =
            String::from_static_str(&mut agent, "let i = 0; const a = 'foo'; i = 3;", gc.nogc());
        agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        let global_env = agent.current_global_env(gc.nogc());
        let foo_key = String::from_static_str(&mut agent, "foo", gc.nogc());
        assert!(matches!(
            global_env.try_has_binding(&mut agent, foo_key, None, gc.nogc()),
            ControlFlow::Continue(TryHasBindingContinue::Result(true))
        ));
        assert!(
            unwrap_try(global_env.try_get_binding_value(
                &mut agent,
                foo_key,
                None,
                true,
                gc.nogc()
            ))
            .is_function(),
        );
    }

    #[test]
    fn empty_iife_function_call() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "(function() {})()", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
    }

    #[test]
    fn empty_named_function_call() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "var f = function() {}; f();", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
    }

    #[test]
    fn empty_declared_function_call() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "function f() {}; f();", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_undefined());
    }

    #[test]
    fn non_empty_iife_function_call() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "(function() { return 3 })()", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(3).into());
    }

    #[test]
    fn builtin_function_call() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let global = agent.current_global_object(gc.nogc());

        fn test_builtin_function<'a>(
            _: &mut Agent,
            _: Value,
            arguments: ArgumentsList,
            _: GcScope<'a, '_>,
        ) -> JsResult<'a, Value<'a>> {
            let arg_0 = arguments.get(0);
            if Value::Boolean(true) == arg_0 {
                Ok(Value::from(3))
            } else {
                Ok(Value::Null)
            }
        }

        let func = create_builtin_function(
            &mut agent,
            Behaviour::Regular(test_builtin_function),
            BuiltinFunctionArgs::new(1, "test"),
            gc.nogc(),
        );

        let key = PropertyKey::from_static_str(&mut agent, "test", gc.nogc());
        create_data_property_or_throw(
            &mut agent,
            global.unbind(),
            key.unbind(),
            func.unbind().into(),
            gc.reborrow(),
        )
        .unwrap();

        let source_text = String::from_static_str(&mut agent, "test(true)", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::from(3));

        let source_text = String::from_static_str(&mut agent, "test()", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Null);

        let source_text = String::from_static_str(&mut agent, "test({})", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Null);
    }

    #[test]
    fn if_statement() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(&mut agent, "if (true) 3", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(3).into());

        let source_text = String::from_static_str(&mut agent, "if (false) 3", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Undefined);
    }

    #[test]
    fn if_else_statement() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(
            &mut agent,
            "var foo = function() { if (true) { return 3; } else { return 5; } }; foo()",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(3).into());

        let source_text = String::from_static_str(
            &mut agent,
            "var bar = function() { if (false) { return 3; } else { return 5; } }; bar()",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(5).into());
    }

    #[test]
    fn static_property_access() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "var foo = { a: 3 }; foo.a", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(3).into());
    }

    #[test]
    fn deep_static_property_access() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(
            &mut agent,
            "var fn = function() { return 3; }; var foo = { a: { b: fn } }; foo.a.b()",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(3).into());
    }

    #[test]
    fn computed_property_access() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(
            &mut agent,
            "var foo = { a: 3 }; var prop = 'a'; foo[prop]",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Number::from(3).into());
    }
    #[test]
    fn for_loop() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "var i = 0; for (; i < 3; i++) {}", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Undefined);
        let key = PropertyKey::from_static_str(&mut agent, "i", gc.nogc());
        let i: Value = unwrap_try(agent.current_global_object(gc.nogc()).try_get_own_property(
            &mut agent,
            key,
            None,
            gc.nogc(),
        ))
        .unwrap()
        .value
        .unwrap();
        assert_eq!(i, Value::from(3));
    }

    #[test]
    fn lexical_declarations() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "let i = 0; const a = 'foo'; i = 3;", gc.nogc());
        agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        let realm = agent.current_realm(gc.nogc());
        let global_env = agent
            .get_realm_record_by_id(realm)
            .global_env
            .unwrap()
            .bind(gc.nogc());
        let a_key = String::from_static_str(&mut agent, "a", gc.nogc());
        let i_key = String::from_static_str(&mut agent, "i", gc.nogc());
        assert!(matches!(
            global_env.try_has_binding(&mut agent, a_key, None, gc.nogc()),
            ControlFlow::Continue(TryHasBindingContinue::Result(true))
        ));
        assert!(matches!(
            global_env.try_has_binding(&mut agent, i_key, None, gc.nogc()),
            ControlFlow::Continue(TryHasBindingContinue::Result(true))
        ));
        assert_eq!(
            unwrap_try(global_env.try_get_binding_value(&mut agent, a_key, None, true, gc.nogc())),
            String::from_small_string("foo").into()
        );
        assert_eq!(
            unwrap_try(global_env.try_get_binding_value(&mut agent, i_key, None, true, gc.nogc())),
            Value::from(3)
        );
    }

    #[test]
    fn lexical_declarations_in_block() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(
            &mut agent,
            "{ let i = 0; const a = 'foo'; i = 3; }",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, 3.into());

        let realm = agent.current_realm(gc.nogc());
        let a_key = String::from_static_str(&mut agent, "a", gc.nogc());
        let i_key = String::from_static_str(&mut agent, "i", gc.nogc());
        let global_env = agent
            .get_realm_record_by_id(realm)
            .global_env
            .unwrap()
            .bind(gc.nogc());
        assert!(!global_env.has_lexical_declaration(&agent, a_key));
        assert!(!global_env.has_lexical_declaration(&agent, i_key));
    }

    #[test]
    fn object_property_assignment() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "var foo = {}; foo.a = 42; foo", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        let object = Object::try_from(result).unwrap().unbind().bind(gc.nogc());

        let pk = PropertyKey::from_static_str(&mut agent, "a", gc.nogc());
        assert_eq!(
            object
                .unbind()
                .internal_get(&mut agent, pk.unbind(), object.unbind().into(), gc)
                .unwrap(),
            Value::Integer(SmallInteger::from(42))
        );
    }

    #[test]
    fn try_catch_not_thrown() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text = String::from_static_str(
            &mut agent,
            "let a = 0; try { a++; } catch { a = 500; }; a++; a",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(2)));
    }

    #[test]
    fn try_catch_thrown() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(
            &mut agent,
            "let a = 0; try { throw null; a = 500 } catch { a++; }; a++; a",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(2)));
    }

    #[test]
    fn catch_binding() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(
            &mut agent,
            "let err; try { throw 'thrown'; } catch(e) { err = e; }; err",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "thrown", gc.nogc())
        );
    }

    #[test]
    fn throwing_in_try_restores_lexical_environment() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(
            &mut agent,
            "let a = 42; try { let a = 62; throw 'thrown'; } catch { }; a",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(42)));
    }

    #[test]
    fn function_argument_bindings() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(
            &mut agent,
            "const foo = function (a) { return a + 10; }; foo(32)",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(42)));
    }

    #[test]
    fn logical_and() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "true && true", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Boolean(true));

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "true && false && true", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Boolean(false));
    }

    #[test]
    fn logical_or() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "false || false", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Boolean(false));

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "true || false || true", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Boolean(true));
    }

    #[test]
    fn nullish_coalescing() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "null ?? 42", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(42)));

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "'foo' ?? 12", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "foo", gc.nogc())
        );

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "undefined ?? null", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Null);
    }

    #[test]
    fn string_concat() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "'foo' + '' + 'bar'", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "foobar", gc.nogc())
        );

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text =
            String::from_static_str(&mut agent, "'foo' + ' a heap string'", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "foo a heap string", gc.nogc())
        );

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(
            &mut agent,
            "'Concatenating ' + 'two heap strings'",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "Concatenating two heap strings", gc.nogc())
        );
    }

    #[test]
    fn property_access_on_functions() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "function foo() {}; foo.bar", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Undefined);

        let source_text = String::from_static_str(&mut agent, "foo.bar = 42; foo.bar", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(42)));

        let source_text = String::from_static_str(&mut agent, "foo.name", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "foo", gc.nogc())
        );

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "foo.length", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::zero()));

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "foo.prototype", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert!(result.is_object())
    }

    #[test]
    fn name_and_length_on_builtin_functions() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "TypeError.name", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "TypeError", gc.nogc())
        );

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "TypeError.length", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(1)));
    }

    #[test]
    fn constructor() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text =
            String::from_static_str(&mut agent, "function foo() {}; foo.prototype", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        let foo_prototype = Object::try_from(result)
            .unwrap()
            .unbind()
            .scope(&mut agent, gc.nogc());

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "new foo()", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        let instance = Object::try_from(result).unwrap();
        assert_eq!(
            unwrap_try(
                instance
                    .unbind()
                    .try_get_prototype_of(&mut agent, gc.nogc())
            )
            .unwrap(),
            foo_prototype.get(&agent)
        );
    }

    #[test]
    fn this_expression() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(
            &mut agent,
            "function foo() { this.bar = 42; }; new foo().bar",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(42)));

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(
            &mut agent,
            "foo.prototype.baz = function() { return this.bar + 10; }; (new foo()).baz()",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Integer(SmallInteger::from(52)));
    }

    #[test]
    fn symbol_stringification() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "+Symbol()", gc.nogc());
        let result = agent.run_script(source_text.unbind(), gc.reborrow());
        assert!(result.is_err());
        let result = result.unwrap_err().value();
        let Value::Error(result) = result else {
            unreachable!()
        };
        assert_eq!(result.get(&agent).kind, ExceptionType::TypeError);

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "+Symbol('foo')", gc.nogc());
        let result = agent.run_script(source_text.unbind(), gc.reborrow());
        assert!(result.is_err());
        let result = result.unwrap_err().value();
        let Value::Error(result) = result else {
            unreachable!()
        };
        assert_eq!(result.get(&agent).kind, ExceptionType::TypeError);

        let source_text = String::from_static_str(&mut agent, "String(Symbol())", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(
            result.unbind(),
            Value::from_static_str(&mut agent, "Symbol()", gc.nogc())
        );

        let realm = agent.current_realm(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "String(Symbol('foo'))", gc.nogc());
        let script = parse_script(&mut agent, source_text, realm, false, None, gc.nogc()).unwrap();
        let value = script_evaluation(&mut agent, script.unbind(), gc.reborrow()).unwrap();
        assert_eq!(
            value.unbind(),
            Value::from_static_str(&mut agent, "Symbol(foo)", gc.nogc())
        );
    }

    #[test]
    fn instanceof() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(&mut agent, "3 instanceof Number", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, false.into());

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "'foo' instanceof String", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, false.into());

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "({}) instanceof Object", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, true.into());

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "({}) instanceof Array", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, false.into());

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "([]) instanceof Object", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, true.into());

        // let realm = agent.current_realm_id(gc.nogc());
        let source_text = String::from_static_str(&mut agent, "([]) instanceof Array", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, true.into());
    }

    #[test]
    fn array_binding_pattern() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());

        let source_text =
            String::from_static_str(&mut agent, "const [a, b, , c] = [1, 2, 3, 4];", gc.nogc());
        agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        let a_key = String::from_static_str(&mut agent, "a", gc.nogc());
        let b_key = String::from_static_str(&mut agent, "b", gc.nogc());
        let c_key = String::from_static_str(&mut agent, "c", gc.nogc());

        let realm = agent.current_realm(gc.nogc());
        let global_env = agent
            .get_realm_record_by_id(realm)
            .global_env
            .unwrap()
            .bind(gc.nogc());
        assert!(global_env.has_lexical_declaration(&agent, a_key));
        assert!(global_env.has_lexical_declaration(&agent, b_key));
        assert!(global_env.has_lexical_declaration(&agent, c_key));
        assert_eq!(
            unwrap_try(global_env.try_get_binding_value(&mut agent, a_key, None, true, gc.nogc())),
            1.into()
        );
        assert_eq!(
            unwrap_try(global_env.try_get_binding_value(&mut agent, b_key, None, true, gc.nogc())),
            2.into()
        );
        assert_eq!(
            unwrap_try(global_env.try_get_binding_value(&mut agent, c_key, None, true, gc.nogc())),
            4.into()
        );
    }

    #[test]
    fn do_while() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text =
            String::from_static_str(&mut agent, "let i = 0; do { i++ } while(i < 10)", gc.nogc());
        agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();

        let realm = agent.current_realm(gc.nogc());
        let i_key = String::from_static_str(&mut agent, "i", gc.nogc());
        let global_env = agent
            .get_realm_record_by_id(realm)
            .global_env
            .unwrap()
            .bind(gc.nogc());
        assert!(global_env.has_lexical_declaration(&agent, i_key));

        assert_eq!(
            unwrap_try(global_env.try_get_binding_value(
                &mut agent,
                i_key.unbind(),
                None,
                true,
                gc.nogc()
            )),
            10.into()
        );
    }

    #[test]
    fn no_implicit_return() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text =
            String::from_static_str(&mut agent, "function foo() { 42; }; foo()", gc.nogc());
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap();
        assert_eq!(result, Value::Undefined);
    }

    #[test]
    fn for_in_loop() {
        let (mut gc, mut scope) = unsafe { GcScope::create_root() };
        let mut gc = GcScope::new(&mut gc, &mut scope);
        let mut agent = Agent::new(AgentOptions::default(), &DefaultHostHooks);
        initialize_default_realm(&mut agent, gc.reborrow());
        // let realm = agent.current_realm_id(gc.nogc());

        let source_text = String::from_static_str(
            &mut agent,
            "for (let i in { a: 1, b: 2, c: 3 }) { i; }",
            gc.nogc(),
        );
        let result = agent
            .run_script(source_text.unbind(), gc.reborrow())
            .unwrap()
            .unbind()
            .bind(gc.nogc());
        assert_eq!(result, Value::from_static_str(&mut agent, "c", gc.nogc()));
    }
}