205   CHECK(Just(true) == JSReceiver::HasOwnProperty(global, object_string));  in TEST()
472   CHECK(Just(true) == JSReceiver::HasOwnProperty(global, name));  in TEST()
490   CHECK(Just(true) == JSReceiver::HasOwnProperty(global, obj_name));  in TEST()
906   CHECK(Just(false) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
910   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
914   CHECK(Just(false) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
919   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
920   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, second));  in TEST()
924   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, second));  in TEST()
926   CHECK(Just(false) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
927   CHECK(Just(false) == JSReceiver::HasOwnProperty(obj, second));  in TEST()
932   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
933   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, second));  in TEST()
937   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
939   CHECK(Just(false) == JSReceiver::HasOwnProperty(obj, first));  in TEST()
940   CHECK(Just(false) == JSReceiver::HasOwnProperty(obj, second));  in TEST()
947   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, s1_string));  in TEST()
954   CHECK(Just(true) == JSReceiver::HasOwnProperty(obj, s2));  in TEST()