LibJS: Add spec comments to ObjectConstructor

1 files changed, 263 insertions, 174 deletions

diff --git a/Userland/Libraries/LibJS/Runtime/ObjectConstructor.cpp b/Userland/Libraries/LibJS/Runtime/ObjectConstructor.cpp
index ce8866b6f1..98a8357b98 100644
--- a/Userland/Libraries/LibJS/Runtime/ObjectConstructor.cpp
+++ b/Userland/Libraries/LibJS/Runtime/ObjectConstructor.cpp
@@ -70,13 +70,20 @@ ThrowCompletionOr<NonnullGCPtr<Object>> ObjectConstructor::construct(FunctionObj
 {
     auto& vm = this->vm();
     auto& realm = *vm.current_realm();
+    auto value = vm.argument(0);
 
-    if (&new_target != this)
+    // 1. If NewTarget is neither undefined nor the active function object, then
+    if (&new_target != this) {
+        // a. Return ? OrdinaryCreateFromConstructor(NewTarget, "%Object.prototype%").
         return TRY(ordinary_create_from_constructor<Object>(vm, new_target, &Intrinsics::object_prototype, ConstructWithPrototypeTag::Tag));
-    auto value = vm.argument(0);
+    }
+
+    // 2. If value is either undefined or null, return OrdinaryObjectCreate(%Object.prototype%).
     if (value.is_nullish())
         return Object::create(realm, realm.intrinsics().object_prototype());
-    return TRY(value.to_object(vm));
+
+    // 3. Return ! ToObject(value).
+    return MUST(value.to_object(vm));
 }
 
 enum class GetOwnPropertyKeysType {
@@ -109,113 +116,146 @@ static ThrowCompletionOr<MarkedVector<Value>> get_own_property_keys(VM& vm, Valu
     return { move(name_list) };
 }
 
-// 20.1.2.10 Object.getOwnPropertyNames ( O ), https://tc39.es/ecma262/#sec-object.getownpropertynames
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_names)
+// 20.1.2.1 Object.assign ( target, ...sources ), https://tc39.es/ecma262/#sec-object.assign
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::assign)
 {
-    auto& realm = *vm.current_realm();
+    // 1. Let to be ? ToObject(target).
+    auto to = TRY(vm.argument(0).to_object(vm));
 
-    // 1. Return CreateArrayFromList(? GetOwnPropertyKeys(O, string)).
-    return Array::create_from(realm, TRY(get_own_property_keys(vm, vm.argument(0), GetOwnPropertyKeysType::String)));
-}
+    // 2. If only one argument was passed, return to.
+    if (vm.argument_count() == 1)
+        return to;
 
-// 20.1.2.11 Object.getOwnPropertySymbols ( O ), https://tc39.es/ecma262/#sec-object.getownpropertysymbols
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_symbols)
-{
-    auto& realm = *vm.current_realm();
+    // 3. For each element nextSource of sources, do
+    for (size_t i = 1; i < vm.argument_count(); ++i) {
+        auto next_source = vm.argument(i);
 
-    // 1. Return CreateArrayFromList(? GetOwnPropertyKeys(O, symbol)).
-    return Array::create_from(realm, TRY(get_own_property_keys(vm, vm.argument(0), GetOwnPropertyKeysType::Symbol)));
-}
+        // a. If nextSource is neither undefined nor null, then
+        if (next_source.is_nullish())
+            continue;
 
-// 20.1.2.12 Object.getPrototypeOf ( O ), https://tc39.es/ecma262/#sec-object.getprototypeof
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_prototype_of)
-{
-    // 1. Let obj be ? ToObject(O).
-    auto object = TRY(vm.argument(0).to_object(vm));
+        // i. Let from be ! ToObject(nextSource).
+        auto from = MUST(next_source.to_object(vm));
 
-    // 2. Return ? obj.[[GetPrototypeOf]]().
-    return TRY(object->internal_get_prototype_of());
+        // ii. Let keys be ? from.[[OwnPropertyKeys]]().
+        auto keys = TRY(from->internal_own_property_keys());
+
+        // iii. For each element nextKey of keys, do
+        for (auto& next_key : keys) {
+            auto property_key = MUST(PropertyKey::from_value(vm, next_key));
+
+            // 1. Let desc be ? from.[[GetOwnProperty]](nextKey).
+            auto desc = TRY(from->internal_get_own_property(property_key));
+
+            // 2. If desc is not undefined and desc.[[Enumerable]] is true, then
+            if (!desc.has_value() || !*desc->enumerable)
+                continue;
+
+            // a. Let propValue be ? Get(from, nextKey).
+            auto prop_value = TRY(from->get(property_key));
+
+            // b. Perform ? Set(to, nextKey, propValue, true).
+            TRY(to->set(property_key, prop_value, Object::ShouldThrowExceptions::Yes));
+        }
+    }
+
+    // 4. Return to.
+    return to;
 }
 
-// 20.1.2.22 Object.setPrototypeOf ( O, proto ), https://tc39.es/ecma262/#sec-object.setprototypeof
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::set_prototype_of)
+// 20.1.2.2 Object.create ( O, Properties ), https://tc39.es/ecma262/#sec-object.create
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::create)
 {
-    auto proto = vm.argument(1);
+    auto& realm = *vm.current_realm();
 
-    // 1. Set O to ? RequireObjectCoercible(O).
-    auto object = TRY(require_object_coercible(vm, vm.argument(0)));
+    auto proto = vm.argument(0);
+    auto properties = vm.argument(1);
 
-    // 2. If Type(proto) is neither Object nor Null, throw a TypeError exception.
+    // 1. If Type(O) is neither Object nor Null, throw a TypeError exception.
     if (!proto.is_object() && !proto.is_null())
         return vm.throw_completion<TypeError>(ErrorType::ObjectPrototypeWrongType);
 
-    // 3. If Type(O) is not Object, return O.
-    if (!object.is_object())
-        return object;
-
-    // 4. Let status be ? O.[[SetPrototypeOf]](proto).
-    auto status = TRY(object.as_object().internal_set_prototype_of(proto.is_null() ? nullptr : &proto.as_object()));
+    // 2. Let obj be OrdinaryObjectCreate(O).
+    auto object = Object::create(realm, proto.is_null() ? nullptr : &proto.as_object());
 
-    // 5. If status is false, throw a TypeError exception.
-    if (!status) {
-        // FIXME: Improve/contextualize error message
-        return vm.throw_completion<TypeError>(ErrorType::ObjectSetPrototypeOfReturnedFalse);
+    // 3. If Properties is not undefined, then
+    if (!properties.is_undefined()) {
+        // a. Return ? ObjectDefineProperties(obj, Properties).
+        return TRY(object->define_properties(properties));
     }
 
-    // 6. Return O.
+    // 4. Return obj.
     return object;
 }
 
-// 20.1.2.15 Object.isExtensible ( O ), https://tc39.es/ecma262/#sec-object.isextensible
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_extensible)
+// 20.1.2.3 Object.defineProperties ( O, Properties ), https://tc39.es/ecma262/#sec-object.defineproperties
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::define_properties)
 {
-    auto argument = vm.argument(0);
-    if (!argument.is_object())
-        return Value(false);
-    return Value(TRY(argument.as_object().is_extensible()));
-}
+    auto object = vm.argument(0);
+    auto properties = vm.argument(1);
 
-// 20.1.2.16 Object.isFrozen ( O ), https://tc39.es/ecma262/#sec-object.isfrozen
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_frozen)
-{
-    auto argument = vm.argument(0);
-    if (!argument.is_object())
-        return Value(true);
-    return Value(TRY(argument.as_object().test_integrity_level(Object::IntegrityLevel::Frozen)));
+    // 1. If Type(O) is not Object, throw a TypeError exception.
+    if (!object.is_object())
+        return vm.throw_completion<TypeError>(ErrorType::NotAnObject, "Object argument");
+
+    // 2. Return ? ObjectDefineProperties(O, Properties).
+    return TRY(object.as_object().define_properties(properties));
 }
 
-// 20.1.2.17 Object.isSealed ( O ), https://tc39.es/ecma262/#sec-object.issealed
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_sealed)
+// 20.1.2.4 Object.defineProperty ( O, P, Attributes ), https://tc39.es/ecma262/#sec-object.defineproperty
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::define_property)
 {
-    auto argument = vm.argument(0);
-    if (!argument.is_object())
-        return Value(true);
-    return Value(TRY(argument.as_object().test_integrity_level(Object::IntegrityLevel::Sealed)));
+    // 1. If O is not an Object, throw a TypeError exception.
+    if (!vm.argument(0).is_object())
+        return vm.throw_completion<TypeError>(ErrorType::NotAnObject, TRY_OR_THROW_OOM(vm, vm.argument(0).to_string_without_side_effects()));
+
+    auto object = MUST(vm.argument(0).to_object(vm));
+
+    // 2. Let key be ? ToPropertyKey(P).
+    auto key = TRY(vm.argument(1).to_property_key(vm));
+
+    // 3. Let desc be ? ToPropertyDescriptor(Attributes).
+    auto descriptor = TRY(to_property_descriptor(vm, vm.argument(2)));
+
+    // 4. Perform ? DefinePropertyOrThrow(O, key, desc).
+    TRY(object->define_property_or_throw(key, descriptor));
+
+    // 5. Return O.
+    return object;
 }
 
-// 20.1.2.19 Object.preventExtensions ( O ), https://tc39.es/ecma262/#sec-object.preventextensions
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::prevent_extensions)
+// 20.1.2.5 Object.entries ( O ), https://tc39.es/ecma262/#sec-object.entries
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::entries)
 {
-    auto argument = vm.argument(0);
-    if (!argument.is_object())
-        return argument;
-    auto status = TRY(argument.as_object().internal_prevent_extensions());
-    if (!status) {
-        // FIXME: Improve/contextualize error message
-        return vm.throw_completion<TypeError>(ErrorType::ObjectPreventExtensionsReturnedFalse);
-    }
-    return argument;
+    auto& realm = *vm.current_realm();
+
+    // 1. Let obj be ? ToObject(O).
+    auto object = TRY(vm.argument(0).to_object(vm));
+
+    // 2. Let entryList be ? EnumerableOwnProperties(obj, key+value).
+    auto name_list = TRY(object->enumerable_own_property_names(PropertyKind::KeyAndValue));
+
+    // 3. Return CreateArrayFromList(entryList).
+    return Array::create_from(realm, name_list);
 }
 
 // 20.1.2.6 Object.freeze ( O ), https://tc39.es/ecma262/#sec-object.freeze
 JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::freeze)
 {
     auto argument = vm.argument(0);
+
+    // 1. If O is not an Object, return O.
     if (!argument.is_object())
         return argument;
+
+    // 2. Let status be ? SetIntegrityLevel(O, frozen).
     auto status = TRY(argument.as_object().set_integrity_level(Object::IntegrityLevel::Frozen));
+
+    // 3. If status is false, throw a TypeError exception.
     if (!status)
         return vm.throw_completion<TypeError>(ErrorType::ObjectFreezeFailed);
+
+    // 4. Return O.
     return argument;
 }
 
@@ -223,10 +263,18 @@ JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::freeze)
 JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::from_entries)
 {
     auto& realm = *vm.current_realm();
+
+    // 1. Perform ? RequireObjectCoercible(iterable).
     auto iterable = TRY(require_object_coercible(vm, vm.argument(0)));
 
+    // 2. Let obj be OrdinaryObjectCreate(%Object.prototype%).
     auto object = Object::create(realm, realm.intrinsics().object_prototype());
 
+    // 3. Assert: obj is an extensible ordinary object with no own properties.
+
+    // 4. Let closure be a new Abstract Closure with parameters (key, value) that captures obj and performs the following steps when called:
+    // 5. Let adder be CreateBuiltinFunction(closure, 2, "", « »).
+    // 6. Return ? AddEntriesFromIterable(obj, iterable, adder).
     (void)TRY(get_iterator_values(vm, iterable, [&](Value iterator_value) -> Optional<Completion> {
         if (!iterator_value.is_object())
             return vm.throw_completion<TypeError>(ErrorType::NotAnObject, DeprecatedString::formatted("Iterator value {}", TRY_OR_THROW_OOM(vm, iterator_value.to_string_without_side_effects())));
@@ -234,33 +282,32 @@ JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::from_entries)
         auto key = TRY(iterator_value.as_object().get(0));
         auto value = TRY(iterator_value.as_object().get(1));
 
+        // a. Let propertyKey be ? ToPropertyKey(key).
         auto property_key = TRY(key.to_property_key(vm));
+
+        // b. Perform ! CreateDataPropertyOrThrow(obj, propertyKey, value).
         MUST(object->create_data_property_or_throw(property_key, value));
 
+        // c. Return undefined.
         return {};
     }));
 
     return object;
 }
 
-// 20.1.2.21 Object.seal ( O ), https://tc39.es/ecma262/#sec-object.seal
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::seal)
-{
-    auto argument = vm.argument(0);
-    if (!argument.is_object())
-        return argument;
-    auto status = TRY(argument.as_object().set_integrity_level(Object::IntegrityLevel::Sealed));
-    if (!status)
-        return vm.throw_completion<TypeError>(ErrorType::ObjectSealFailed);
-    return argument;
-}
-
 // 20.1.2.8 Object.getOwnPropertyDescriptor ( O, P ), https://tc39.es/ecma262/#sec-object.getownpropertydescriptor
 JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_descriptor)
 {
+    // 1. Let obj be ? ToObject(O).
     auto object = TRY(vm.argument(0).to_object(vm));
+
+    // 2. Let key be ? ToPropertyKey(P).
     auto key = TRY(vm.argument(1).to_property_key(vm));
+
+    // 3. Let desc be ? obj.[[GetOwnProperty]](key).
     auto descriptor = TRY(object->internal_get_own_property(key));
+
+    // 4. Return FromPropertyDescriptor(desc).
     return from_property_descriptor(vm, descriptor);
 }
 
@@ -297,150 +344,192 @@ JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_descriptors)
     return descriptors;
 }
 
-// 20.1.2.4 Object.defineProperty ( O, P, Attributes ), https://tc39.es/ecma262/#sec-object.defineproperty
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::define_property)
+// 20.1.2.10 Object.getOwnPropertyNames ( O ), https://tc39.es/ecma262/#sec-object.getownpropertynames
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_names)
 {
-    if (!vm.argument(0).is_object())
-        return vm.throw_completion<TypeError>(ErrorType::NotAnObject, TRY_OR_THROW_OOM(vm, vm.argument(0).to_string_without_side_effects()));
-    auto key = TRY(vm.argument(1).to_property_key(vm));
-    auto descriptor = TRY(to_property_descriptor(vm, vm.argument(2)));
-    TRY(vm.argument(0).as_object().define_property_or_throw(key, descriptor));
-    return vm.argument(0);
+    auto& realm = *vm.current_realm();
+
+    // 1. Return CreateArrayFromList(? GetOwnPropertyKeys(O, string)).
+    return Array::create_from(realm, TRY(get_own_property_keys(vm, vm.argument(0), GetOwnPropertyKeysType::String)));
 }
 
-// 20.1.2.3 Object.defineProperties ( O, Properties ), https://tc39.es/ecma262/#sec-object.defineproperties
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::define_properties)
+// 20.1.2.11 Object.getOwnPropertySymbols ( O ), https://tc39.es/ecma262/#sec-object.getownpropertysymbols
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_symbols)
 {
-    auto object = vm.argument(0);
-    auto properties = vm.argument(1);
+    auto& realm = *vm.current_realm();
 
-    // 1. If Type(O) is not Object, throw a TypeError exception.
-    if (!object.is_object())
-        return vm.throw_completion<TypeError>(ErrorType::NotAnObject, "Object argument");
+    // 1. Return CreateArrayFromList(? GetOwnPropertyKeys(O, symbol)).
+    return Array::create_from(realm, TRY(get_own_property_keys(vm, vm.argument(0), GetOwnPropertyKeysType::Symbol)));
+}
 
-    // 2. Return ? ObjectDefineProperties(O, Properties).
-    return TRY(object.as_object().define_properties(properties));
+// 20.1.2.12 Object.getPrototypeOf ( O ), https://tc39.es/ecma262/#sec-object.getprototypeof
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_prototype_of)
+{
+    // 1. Let obj be ? ToObject(O).
+    auto object = TRY(vm.argument(0).to_object(vm));
+
+    // 2. Return ? obj.[[GetPrototypeOf]]().
+    return TRY(object->internal_get_prototype_of());
+}
+
+// 20.1.2.13 Object.hasOwn ( O, P ), https://tc39.es/ecma262/#sec-object.hasown
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::has_own)
+{
+    // 1. Let obj be ? ToObject(O).
+    auto object = TRY(vm.argument(0).to_object(vm));
+
+    // 2. Let key be ? ToPropertyKey(P).
+    auto key = TRY(vm.argument(1).to_property_key(vm));
+
+    // 3. Return ? HasOwnProperty(obj, key).
+    return Value(TRY(object->has_own_property(key)));
 }
 
 // 20.1.2.14 Object.is ( value1, value2 ), https://tc39.es/ecma262/#sec-object.is
 JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is)
 {
+    // 1. Return SameValue(value1, value2).
     return Value(same_value(vm.argument(0), vm.argument(1)));
 }
 
-// 20.1.2.18 Object.keys ( O ), https://tc39.es/ecma262/#sec-object.keys
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::keys)
+// 20.1.2.15 Object.isExtensible ( O ), https://tc39.es/ecma262/#sec-object.isextensible
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_extensible)
 {
-    auto& realm = *vm.current_realm();
+    auto argument = vm.argument(0);
 
-    auto object = TRY(vm.argument(0).to_object(vm));
-    auto name_list = TRY(object->enumerable_own_property_names(PropertyKind::Key));
-    return Array::create_from(realm, name_list);
+    // 1. If O is not an Object, return false.
+    if (!argument.is_object())
+        return Value(false);
+
+    // 2. Return ? IsExtensible(O).
+    return Value(TRY(argument.as_object().is_extensible()));
 }
 
-// 20.1.2.23 Object.values ( O ), https://tc39.es/ecma262/#sec-object.values
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::values)
+// 20.1.2.16 Object.isFrozen ( O ), https://tc39.es/ecma262/#sec-object.isfrozen
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_frozen)
 {
-    auto& realm = *vm.current_realm();
+    auto argument = vm.argument(0);
 
-    auto object = TRY(vm.argument(0).to_object(vm));
-    auto name_list = TRY(object->enumerable_own_property_names(PropertyKind::Value));
-    return Array::create_from(realm, name_list);
+    // 1. If O is not an Object, return true.
+    if (!argument.is_object())
+        return Value(true);
+
+    // 2. Return ? TestIntegrityLevel(O, frozen).
+    return Value(TRY(argument.as_object().test_integrity_level(Object::IntegrityLevel::Frozen)));
 }
 
-// 20.1.2.5 Object.entries ( O ), https://tc39.es/ecma262/#sec-object.entries
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::entries)
+// 20.1.2.17 Object.isSealed ( O ), https://tc39.es/ecma262/#sec-object.issealed
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_sealed)
+{
+    auto argument = vm.argument(0);
+
+    // 1. If O is not an Object, return true.
+    if (!argument.is_object())
+        return Value(true);
+
+    // 2. Return ? TestIntegrityLevel(O, sealed).
+    return Value(TRY(argument.as_object().test_integrity_level(Object::IntegrityLevel::Sealed)));
+}
+
+// 20.1.2.18 Object.keys ( O ), https://tc39.es/ecma262/#sec-object.keys
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::keys)
 {
     auto& realm = *vm.current_realm();
 
+    // 1. Let obj be ? ToObject(O).
     auto object = TRY(vm.argument(0).to_object(vm));
-    auto name_list = TRY(object->enumerable_own_property_names(PropertyKind::KeyAndValue));
+
+    // 2. Let keyList be ? EnumerableOwnProperties(obj, key).
+    auto name_list = TRY(object->enumerable_own_property_names(PropertyKind::Key));
+
+    // 3. Return CreateArrayFromList(keyList).
     return Array::create_from(realm, name_list);
 }
 
-// 20.1.2.2 Object.create ( O, Properties ), https://tc39.es/ecma262/#sec-object.create
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::create)
+// 20.1.2.19 Object.preventExtensions ( O ), https://tc39.es/ecma262/#sec-object.preventextensions
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::prevent_extensions)
 {
-    auto& realm = *vm.current_realm();
-
-    auto proto = vm.argument(0);
-    auto properties = vm.argument(1);
+    auto argument = vm.argument(0);
 
-    // 1. If Type(O) is neither Object nor Null, throw a TypeError exception.
-    if (!proto.is_object() && !proto.is_null())
-        return vm.throw_completion<TypeError>(ErrorType::ObjectPrototypeWrongType);
+    // 1. If O is not an Object, return O.
+    if (!argument.is_object())
+        return argument;
 
-    // 2. Let obj be OrdinaryObjectCreate(O).
-    auto object = Object::create(realm, proto.is_null() ? nullptr : &proto.as_object());
+    // 2. Let status be ? O.[[PreventExtensions]]().
+    auto status = TRY(argument.as_object().internal_prevent_extensions());
 
-    // 3. If Properties is not undefined, then
-    if (!properties.is_undefined()) {
-        // a. Return ? ObjectDefineProperties(obj, Properties).
-        return TRY(object->define_properties(properties));
+    // 3. If status is false, throw a TypeError exception.
+    if (!status) {
+        // FIXME: Improve/contextualize error message
+        return vm.throw_completion<TypeError>(ErrorType::ObjectPreventExtensionsReturnedFalse);
     }
 
-    // 4. Return obj.
-    return object;
+    // 4. Return O.
+    return argument;
 }
 
-// 20.1.2.13 Object.hasOwn ( O, P ), https://tc39.es/ecma262/#sec-object.hasown
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::has_own)
+// 20.1.2.21 Object.seal ( O ), https://tc39.es/ecma262/#sec-object.seal
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::seal)
 {
-    // 1. Let obj be ? ToObject(O).
-    auto object = TRY(vm.argument(0).to_object(vm));
+    auto argument = vm.argument(0);
 
-    // 2. Let key be ? ToPropertyKey(P).
-    auto key = TRY(vm.argument(1).to_property_key(vm));
+    // 1. If O is not an Object, return O.
+    if (!argument.is_object())
+        return argument;
 
-    // 3. Return ? HasOwnProperty(obj, key).
-    return Value(TRY(object->has_own_property(key)));
+    // 2. Let status be ? SetIntegrityLevel(O, sealed).
+    auto status = TRY(argument.as_object().set_integrity_level(Object::IntegrityLevel::Sealed));
+
+    // 3. If status is false, throw a TypeError exception.
+    if (!status)
+        return vm.throw_completion<TypeError>(ErrorType::ObjectSealFailed);
+
+    // 4. Return O.
+    return argument;
 }
 
-// 20.1.2.1 Object.assign ( target, ...sources ), https://tc39.es/ecma262/#sec-object.assign
-JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::assign)
+// 20.1.2.22 Object.setPrototypeOf ( O, proto ), https://tc39.es/ecma262/#sec-object.setprototypeof
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::set_prototype_of)
 {
-    // 1. Let to be ? ToObject(target).
-    auto to = TRY(vm.argument(0).to_object(vm));
-
-    // 2. If only one argument was passed, return to.
-    if (vm.argument_count() == 1)
-        return to;
+    auto proto = vm.argument(1);
 
-    // 3. For each element nextSource of sources, do
-    for (size_t i = 1; i < vm.argument_count(); ++i) {
-        auto next_source = vm.argument(i);
+    // 1. Set O to ? RequireObjectCoercible(O).
+    auto object = TRY(require_object_coercible(vm, vm.argument(0)));
 
-        // a. If nextSource is neither undefined nor null, then
-        if (next_source.is_nullish())
-            continue;
+    // 2. If Type(proto) is neither Object nor Null, throw a TypeError exception.
+    if (!proto.is_object() && !proto.is_null())
+        return vm.throw_completion<TypeError>(ErrorType::ObjectPrototypeWrongType);
 
-        // i. Let from be ! ToObject(nextSource).
-        auto from = MUST(next_source.to_object(vm));
+    // 3. If Type(O) is not Object, return O.
+    if (!object.is_object())
+        return object;
 
-        // ii. Let keys be ? from.[[OwnPropertyKeys]]().
-        auto keys = TRY(from->internal_own_property_keys());
+    // 4. Let status be ? O.[[SetPrototypeOf]](proto).
+    auto status = TRY(object.as_object().internal_set_prototype_of(proto.is_null() ? nullptr : &proto.as_object()));
 
-        // iii. For each element nextKey of keys, do
-        for (auto& next_key : keys) {
-            auto property_key = MUST(PropertyKey::from_value(vm, next_key));
+    // 5. If status is false, throw a TypeError exception.
+    if (!status) {
+        // FIXME: Improve/contextualize error message
+        return vm.throw_completion<TypeError>(ErrorType::ObjectSetPrototypeOfReturnedFalse);
+    }
 
-            // 1. Let desc be ? from.[[GetOwnProperty]](nextKey).
-            auto desc = TRY(from->internal_get_own_property(property_key));
+    // 6. Return O.
+    return object;
+}
 
-            // 2. If desc is not undefined and desc.[[Enumerable]] is true, then
-            if (!desc.has_value() || !*desc->enumerable)
-                continue;
+// 20.1.2.23 Object.values ( O ), https://tc39.es/ecma262/#sec-object.values
+JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::values)
+{
+    auto& realm = *vm.current_realm();
 
-            // a. Let propValue be ? Get(from, nextKey).
-            auto prop_value = TRY(from->get(property_key));
+    // 1. Let obj be ? ToObject(O).
+    auto object = TRY(vm.argument(0).to_object(vm));
 
-            // b. Perform ? Set(to, nextKey, propValue, true).
-            TRY(to->set(property_key, prop_value, Object::ShouldThrowExceptions::Yes));
-        }
-    }
+    // 2. Let valueList be ? EnumerableOwnProperties(obj, value).
+    auto name_list = TRY(object->enumerable_own_property_names(PropertyKind::Value));
 
-    // 4. Return to.
-    return to;
+    // 3. Return CreateArrayFromList(valueList).
+    return Array::create_from(realm, name_list);
 }
 
 }