// Copyright 2019 the V8 project authors. All rights reserved.// Use of this source code is governed by a BSD-style license that can be// found in the LICENSE file.// Flags: --allow-natives-syntaxfunctionf(){constv6=newString();v6.POSITIVE_INFINITY=1337;constv8=Object.seal(v6);v8.POSITIVE_INFINITY=Object;