JavaScriptEnvironment.swift

// Copyright 2019 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

import Foundation

public class JavaScriptEnvironment: ComponentBase {
    // Possible return values of the 'typeof' operator.
    public static let jsTypeNames = [
        "undefined", "boolean", "number", "string", "symbol", "function", "object", "bigint",
    ]

    public static let typedArrayConstructors = [
        "Uint8Array", "Int8Array", "Uint16Array", "Int16Array",
        "Uint32Array", "Int32Array", "Float16Array", "Float32Array", "Float64Array",
        "Uint8ClampedArray", "BigInt64Array", "BigUint64Array",
    ]

    // Integer values that are more likely to trigger edge-cases.
    public static let InterestingIntegers: [Int64] = [
        -9_223_372_036_854_775_808, -9_223_372_036_854_775_807,  // Int64 min, mostly for BigInts
        -9_007_199_254_740_992, -9_007_199_254_740_991, -9_007_199_254_740_990,  // Smallest integer value that is still precisely representable by a double
        -4_294_967_297, -4_294_967_296, -4_294_967_295,  // Negative Uint32 max
        -2_147_483_649, -2_147_483_648, -2_147_483_647,  // Int32 min
        -1_073_741_824, -536_870_912, -268_435_456,  // -2**32 / {4, 8, 16}
        -65537, -65536, -65535,  // -2**16
        -4096, -1024, -256, -128,  // Other powers of two
        -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 64,  // Numbers around 0
        127, 128, 129,  // 2**7
        255, 256, 257,  // 2**8
        512, 1000, 1024, 4096, 10000,  // Misc numbers
        65535, 65536, 65537,  // 2**16
        268_435_439, 268_435_440, 268_435_441,  // V8 String kMaxLength (32-bit)
        536_870_887, 536_870_888, 536_870_889,  // V8 String kMaxLength (64-bit)
        268_435_456, 536_870_912, 1_073_741_824,  // 2**32 / {4, 8, 16}
        1_073_741_823, 1_073_741_824, 1_073_741_825,  // 2**30
        2_147_483_647, 2_147_483_648, 2_147_483_649,  // Int32 max
        4_294_967_295, 4_294_967_296, 4_294_967_297,  // Uint32 max
        9_007_199_254_740_990, 9_007_199_254_740_991, 9_007_199_254_740_992,  // Biggest integer value that is still precisely representable by a double
        9_223_372_036_854_775_807,  // Int64 max, mostly for BigInts
        0x3fff_fffc, 0x3fff_fffe, 0x3fff_ffff, 0x4000_0000, 0x4000_0002,  // Numbers around smi max (2^30 - 1)
        0xbfff_fffd, 0xbfff_ffff, 0xc000_0000, 0xc000_0001, 0xc000_0003,  // Numbers around Smi min (-2^30)
    ]

    static let wellKnownSymbols = [
        "iterator", "asyncIterator", "match", "matchAll", "replace", "search", "split",
        "hasInstance", "isConcatSpreadable", "unscopables", "species", "toPrimitive", "toStringTag",
        "dispose", "asyncDispose",
    ]

    public let interestingIntegers = InterestingIntegers

    // Double values that are more likely to trigger edge-cases.
    public let interestingFloats = [
        -Double.infinity, -Double.greatestFiniteMagnitude, -1e-15, -1e12, -1e9, -1e6, -1e3, -5.0,
        -4.0, -3.0, -2.0, -1.0, -Double.ulpOfOne, -Double.leastNormalMagnitude, -0.0, 0.0,
        Double.leastNormalMagnitude, Double.ulpOfOne, 1.0, 2.0, 3.0, 4.0, 5.0, 1e3, 1e6, 1e9, 1e12,
        1e-15, Double.greatestFiniteMagnitude, Double.infinity, Double.nan,
    ]

    // TODO more?
    public let interestingStrings = jsTypeNames + [""]

    // Copied from
    // https://cs.chromium.org/chromium/src/testing/libfuzzer/fuzzers/dicts/regexp.dict
    public let interestingRegExps = [
        // These do *not* work with unicode or unicodeSets
        (pattern: #"a\q"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{12,3b"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{z}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[z-\d]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{z}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{"#, incompatibleFlags: .unicode | .unicodeSets),
        (
            pattern: #"(x)(x)(x)(x)(x)(x)(x)(x)(x)(x)\11"#,
            incompatibleFlags: .unicode | .unicodeSets
        ),
        (pattern: #"[\111]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\c!"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\11a]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\c!]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\c~]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\[\]\{\}\(\)\%\^\#\ "#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\[\]\{\}\(\)\%\^\#\ ]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\118"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\00011]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\c~"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{,}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[-123]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[-\xf0\x9f\x92\xa9]+"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{,}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{12,"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(?!a)?a"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\111"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(?!a)?a\1"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\1111]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{12,3b"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\c1]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(?=a){0,10}a"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\q"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{12z}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\011"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\d-z]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\011]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\8"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\11a"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\118]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\1112"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{12,"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\d-\d]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\11"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(x)(x)(x)\4*"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(?:(?=a))a\1"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\c_"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"a{"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(x)(x)(x)\4"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\c"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\x3z"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\c_]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{1z}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(?=a){1,10}a"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\1111"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\u003z"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[\11]"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"\9"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"{}"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"(?=a){9,10}a"#, incompatibleFlags: .unicode | .unicodeSets),
        (pattern: #"[a-b-c]"#, incompatibleFlags: .unicode | .unicodeSets),

        // These work with all flags
        (pattern: #"(x)(x)(x)\1*"#, incompatibleFlags: .empty),
        (pattern: #"\x01"#, incompatibleFlags: .empty),
        (pattern: #"(?: foo )"#, incompatibleFlags: .empty),
        (pattern: #"(ab|cde)"#, incompatibleFlags: .empty),
        (pattern: #"foo|(bar|baz)|quux"#, incompatibleFlags: .empty),
        (pattern: #"(?:a*)*"#, incompatibleFlags: .empty),
        (pattern: #"a{0,1}?"#, incompatibleFlags: .empty),
        (pattern: #"(?:a+)?"#, incompatibleFlags: .empty),
        (pattern: #"a$"#, incompatibleFlags: .empty),
        (pattern: #"a(?=b)"#, incompatibleFlags: .empty),
        (pattern: #"foo[z]*"#, incompatibleFlags: .empty),
        (pattern: #"\u{12345}\u{23456}"#, incompatibleFlags: .empty),
        (pattern: #"(?!(a))\1"#, incompatibleFlags: .empty),
        (pattern: #"abc+?"#, incompatibleFlags: .empty),
        (pattern: #"a*b"#, incompatibleFlags: .empty),
        (pattern: #"(?:a?)*"#, incompatibleFlags: .empty),
        (pattern: #"\xf0\x9f\x92\xa9"#, incompatibleFlags: .empty),
        (pattern: #"a{1,2}?"#, incompatibleFlags: .empty),
        (pattern: #"a\n"#, incompatibleFlags: .empty),
        (pattern: #"\P{Decimal_Number}"#, incompatibleFlags: .empty),
        (pattern: #"(?=)"#, incompatibleFlags: .empty),
        (pattern: #"\1(a)"#, incompatibleFlags: .empty),
        (pattern: #"."#, incompatibleFlags: .empty),
        (pattern: #"()"#, incompatibleFlags: .empty),
        (pattern: #"(a)"#, incompatibleFlags: .empty),
        (pattern: #"(?:a{5,1000000}){3,1000000}"#, incompatibleFlags: .empty),
        (pattern: #"a\Sc"#, incompatibleFlags: .empty),
        (pattern: #"a(?=b)c"#, incompatibleFlags: .empty),
        (pattern: #"a{0}"#, incompatibleFlags: .empty),
        (pattern: #"(?:a*)+"#, incompatibleFlags: .empty),
        (pattern: #"\ud808\udf45*"#, incompatibleFlags: .empty),
        (pattern: #"a\w"#, incompatibleFlags: .empty),
        (pattern: #"(?:a+)*"#, incompatibleFlags: .empty),
        (pattern: #"a(?:b)"#, incompatibleFlags: .empty),
        (pattern: #"(?<=a)"#, incompatibleFlags: .empty),
        (pattern: #"(x)(x)(x)\3"#, incompatibleFlags: .empty),
        (pattern: #"foo(?<=bar)baz"#, incompatibleFlags: .empty),
        (pattern: #"\xe2\x81\xa3"#, incompatibleFlags: .empty),
        (pattern: #"ab\b\d\bcd"#, incompatibleFlags: .empty),
        (pattern: #"[\ca]"#, incompatibleFlags: .empty),
        (pattern: #"[\xf0\x9f\x92\xa9-\xf4\x8f\xbf\xbf]"#, incompatibleFlags: .empty),
        (pattern: #"\p{Script_Extensions=Greek}"#, incompatibleFlags: .empty),
        (pattern: #"\cj\cJ\ci\cI\ck\cK"#, incompatibleFlags: .empty),
        (pattern: #"a\fb\nc\rd\te\vf"#, incompatibleFlags: .empty),
        (pattern: #"\p{General_Category=Decimal_Number}"#, incompatibleFlags: .empty),
        (pattern: #"\u{12345}"#, incompatibleFlags: .empty),
        (pattern: #"a\b!"#, incompatibleFlags: .empty),
        (pattern: #"a[^a]"#, incompatibleFlags: .empty),
        (pattern: #"\1\2(a(?:\1(b\1\2))\2)\1"#, incompatibleFlags: .empty),
        (pattern: #"(?:ab)+"#, incompatibleFlags: .empty),
        (pattern: #"[^123]"#, incompatibleFlags: .empty),
        (pattern: #"a(?!b)"#, incompatibleFlags: .empty),
        (pattern: #"a\Bb"#, incompatibleFlags: .empty),
        (pattern: #"(?:ab)?"#, incompatibleFlags: .empty),
        (pattern: #"(?<a>)"#, incompatibleFlags: .empty),
        (pattern: #"(?<!)"#, incompatibleFlags: .empty),
        (pattern: #"a."#, incompatibleFlags: .empty),
        (pattern: #"[]"#, incompatibleFlags: .empty),
        (pattern: #"a\S"#, incompatibleFlags: .empty),
        (pattern: #"abc"#, incompatibleFlags: .empty),
        (pattern: #"(?<!a)"#, incompatibleFlags: .empty),
        (pattern: #"\x60"#, incompatibleFlags: .empty),
        (pattern: #"[\p{Script_Extensions=Mongolian}&&\p{Number}]"#, incompatibleFlags: .empty),
        (pattern: #"a\nb\bc"#, incompatibleFlags: .empty),
        (pattern: #"(?:ab)|cde"#, incompatibleFlags: .empty),
        (pattern: #"^"#, incompatibleFlags: .empty),
        (pattern: #"a\W"#, incompatibleFlags: .empty),
        (pattern: #"a"#, incompatibleFlags: .empty),
        (pattern: #"a[a]"#, incompatibleFlags: .empty),
        (pattern: #"(x)(x)(x)\1"#, incompatibleFlags: .empty),
        (pattern: #"[\cA]"#, incompatibleFlags: .empty),
        (pattern: #"(ab)\1"#, incompatibleFlags: .empty),
        (pattern: #"a(?=bbb|bb)c"#, incompatibleFlags: .empty),
        (pattern: #"(x)(x)(x)(x)(x)(x)(x)(x)(x)(x)\10"#, incompatibleFlags: .empty),
        (pattern: #"\P{sc=Greek}"#, incompatibleFlags: .empty),
        (pattern: #"foo(?!bar)baz"#, incompatibleFlags: .empty),
        (pattern: #"xyz??"#, incompatibleFlags: .empty),
        (pattern: #"a[bc]d"#, incompatibleFlags: .empty),
        (pattern: #"a*?"#, incompatibleFlags: .empty),
        (pattern: #"((\xed\xa0\x80))\x02"#, incompatibleFlags: .empty),
        (pattern: #"a+"#, incompatibleFlags: .empty),
        (pattern: #"\P{scx=Greek}"#, incompatibleFlags: .empty),
        (pattern: #"(?<=)"#, incompatibleFlags: .empty),
        (pattern: #"(?:foo)"#, incompatibleFlags: .empty),
        (pattern: #"xyz{1,}?"#, incompatibleFlags: .empty),
        (pattern: #"(a)\1"#, incompatibleFlags: .empty),
        (pattern: #"a[a-z]"#, incompatibleFlags: .empty),
        (pattern: #"\p{Nd}"#, incompatibleFlags: .empty),
        (pattern: #"(?:ab)"#, incompatibleFlags: .empty),
        (pattern: #"a+b|c"#, incompatibleFlags: .empty),
        (pattern: #"(ab|cde)\1"#, incompatibleFlags: .empty),
        (pattern: #"(\xed\xb0\x80)\x01"#, incompatibleFlags: .empty),
        (pattern: #"((((.).).).)"#, incompatibleFlags: .empty),
        (pattern: #"(?:a?)+"#, incompatibleFlags: .empty),
        (pattern: #"(a\1)"#, incompatibleFlags: .empty),
        (pattern: #"\P{Any}"#, incompatibleFlags: .empty),
        (pattern: #"xyz{93}"#, incompatibleFlags: .empty),
        (pattern: #"\x0f"#, incompatibleFlags: .empty),
        (pattern: #"(ab)"#, incompatibleFlags: .empty),
        (pattern: #"\w|\d"#, incompatibleFlags: .empty),
        (pattern: #"xyz{1,32}"#, incompatibleFlags: .empty),
        (pattern: #"[x\dz]"#, incompatibleFlags: .empty),
        (pattern: #"\xed\xa0\x80"#, incompatibleFlags: .empty),
        (pattern: #"xyz{1,}"#, incompatibleFlags: .empty),
        (pattern: #"\p{gc=Nd}"#, incompatibleFlags: .empty),
        (pattern: #"\xed\xb0\x80"#, incompatibleFlags: .empty),
        (pattern: #"[\0]"#, incompatibleFlags: .empty),
        (pattern: #"^xxx$"#, incompatibleFlags: .empty),
        (pattern: #"a?"#, incompatibleFlags: .empty),
        (pattern: #"a\s"#, incompatibleFlags: .empty),
        (pattern: #"a+?"#, incompatibleFlags: .empty),
        (pattern: #"xyz{0,1}?"#, incompatibleFlags: .empty),
        (pattern: #"(\1a)"#, incompatibleFlags: .empty),
        (pattern: #"a(?!bbb|bb)c"#, incompatibleFlags: .empty),
        (pattern: #"\p{Script=Greek}"#, incompatibleFlags: .empty),
        (pattern: #"\u0060"#, incompatibleFlags: .empty),
        (pattern: #"[xyz]"#, incompatibleFlags: .empty),
        (pattern: #"(?:a+){0,0}"#, incompatibleFlags: .empty),
        (pattern: #"(\2)(\1)"#, incompatibleFlags: .empty),
        (pattern: #"xyz{1,32}?"#, incompatibleFlags: .empty),
        (pattern: #"(?<a>.)"#, incompatibleFlags: .empty),
        (pattern: #"[\cz]"#, incompatibleFlags: .empty),
        (pattern: #"(x)(x)(x)\3*"#, incompatibleFlags: .empty),
        (pattern: #"foo(?<!bar)baz"#, incompatibleFlags: .empty),
        (pattern: #"abc+"#, incompatibleFlags: .empty),
        (pattern: #"foo(?=bar)baz"#, incompatibleFlags: .empty),
        (pattern: #"a|bc"#, incompatibleFlags: .empty),
        (pattern: #"abc|def"#, incompatibleFlags: .empty),
        (pattern: #"a*b|c"#, incompatibleFlags: .empty),
        (pattern: #"(x)(x)(x)\2"#, incompatibleFlags: .empty),
        (pattern: #"(?<a>.)\k<a>"#, incompatibleFlags: .empty),
        (pattern: #"(?:a+)+"#, incompatibleFlags: .empty),
        (pattern: #"(?=.)"#, incompatibleFlags: .empty),
        (pattern: #"\p{Changes_When_NFKC_Casefolded}"#, incompatibleFlags: .empty),
        (pattern: #"a\sc"#, incompatibleFlags: .empty),
        (pattern: #"a||bc"#, incompatibleFlags: .empty),
        (pattern: #"a+b"#, incompatibleFlags: .empty),
        (pattern: #"[\cZ]"#, incompatibleFlags: .empty),
        (pattern: #"a|b"#, incompatibleFlags: .empty),
        (pattern: #"\u0034"#, incompatibleFlags: .empty),
        (pattern: #"\cA"#, incompatibleFlags: .empty),
        (pattern: #"ab|c"#, incompatibleFlags: .empty),
        (pattern: #"abc|def|ghi"#, incompatibleFlags: .empty),
        (pattern: #"(?:ab|cde)"#, incompatibleFlags: .empty),
        (pattern: #"xyz?"#, incompatibleFlags: .empty),
        (pattern: #"[a-zA-Z0-9]"#, incompatibleFlags: .empty),
        (pattern: #"(?:a?)?"#, incompatibleFlags: .empty),
        (pattern: #"xyz{0,1}"#, incompatibleFlags: .empty),
        (pattern: #"a\D"#, incompatibleFlags: .empty),
        (pattern: #"(?!\1(a\1)\1)\1"#, incompatibleFlags: .empty),
        (pattern: #"a\bc"#, incompatibleFlags: .empty),
        (pattern: #"\P{gc=Decimal_Number}"#, incompatibleFlags: .empty),
        (pattern: #"\b"#, incompatibleFlags: .empty),
        (pattern: #"[x]"#, incompatibleFlags: .empty),
        (pattern: #"(?:ab){4,7}"#, incompatibleFlags: .empty),
        (pattern: #"a??"#, incompatibleFlags: .empty),
        (pattern: #"(?<a>(?<b>(?<c>(?<d>.).).).)"#, incompatibleFlags: .empty),
        (pattern: #"[\xe2\x81\xa3]"#, incompatibleFlags: .empty),
    ]

    public let interestingRegExpQuantifiers = ["*", "+", "?"]

    /// Identifiers that should be used for custom properties and methods.
    public static let CustomPropertyNames = ["a", "b", "c", "d", "e", "f", "!", "42"]
    public static let CustomMethodNames = ["m", "n", "o", "?", "67", "valueOf", "toString"]
    public static let CustomPrivateMethodNames = ["m", "n", "o", "p"]
    public static let CustomIdentifierNames = ["a", "b", "c", "d", "e", "f"]

    public private(set) var builtins = Set<String>()
    public let customProperties = Set<String>(CustomPropertyNames)
    public let customMethods = Set<String>(CustomMethodNames)
    public let customPrivateMethods = Set<String>(CustomPrivateMethodNames)
    public let customIdentifiers = Set<String>(CustomIdentifierNames)
    public private(set) var builtinProperties = Set<String>()
    public private(set) var builtinMethods = Set<String>()

    // Something that can generate a variable
    public typealias EnvironmentValueGenerator = (ProgramBuilder) -> Variable

    private var builtinTypes: [String: ILType] = [:]
    private var groups: [String: ObjectGroup] = [:]
    private var enums: [String: ILType] = [:]
    private var globalThisGroup: ObjectGroup

    // Producing generators, keyed on `type.group`
    private var producingGenerators:
        [String: (generator: EnvironmentValueGenerator, probability: Double)] = [:]
    // Named string generators, keyed on `type.group`
    private var namedStringGenerators: [String: () -> String] = [:]
    // Named integer generators, keyed on `type.group`
    private var namedIntegerGenerators: [String: () -> Int64] = [:]
    private var producingMethods: [ILType: [(group: String, method: String)]] = [:]
    private var producingProperties: [ILType: [(group: String, property: String)]] = [:]
    private var subtypes: [ILType: [ILType]] = [:]

    private struct ValidationRegexes {
        // A simple approximation of a valid JS identifier (used in dot
        // notation and for property and method names).
        static let simpleId = "[_$a-zA-Z][_$a-zA-Z0-9]*"

        // A non-negative integer (with no leading zero) for index access
        // without quotes.
        static let index = "[1-9]\\d*|0"

        // We support simple identifiers and non-negative numbers. Other
        // names will be quoted.
        // We don't support unquoted doubles.
        static let identifierOrIndex = try! Regex("^(\(index)|\(simpleId))$")

        // For dot notation we only support simple identifiers. We don't
        // support all possible names according to JS spec.
        // Unsupported names will be accessed with bracket notation.
        static let dotNotationName = try! Regex("^(\(simpleId))$")

        // Valid indexes to use in bracket notation without quotes.
        static let propertyIndex = try! Regex("^(\(index))$")
    }

    public init(
        additionalBuiltins: [String: ILType] = [:], additionalObjectGroups: [ObjectGroup] = [],
        additionalEnumerations: [ILType] = [], additionalOptionsBags: [OptionsBag] = []
    ) {
        self.globalThisGroup = ObjectGroup.jsGlobalThis
        super.init(name: "JavaScriptEnvironment")

        // Build model of the JavaScript environment

        // Register all object groups that we use to model the JavaScript runtime environment.
        // The object groups allow us to associate type information for properties and methods
        // with groups of related objects, e.g. strings, arrays, etc.
        // It generally doesn't hurt to leave all of these enabled. If specific APIs should be disabled,
        // it is best to either just disable the builtin that exposes it (e.g. Map constructor) or
        // selectively disable methods/properties by commenting out parts of the ObjectGroup and
        // Type definitions at the end of this file.
        registerObjectGroup(.jsStrings)
        registerObjectGroup(.jsArrays)
        registerObjectGroup(.jsArguments)
        registerObjectGroup(.jsIterator)
        registerObjectGroup(.jsIteratorPrototype)
        registerObjectGroup(.jsIteratorConstructor)
        registerObjectGroup(.jsGenerators)
        registerObjectGroup(.jsAsyncGenerators)
        registerObjectGroup(.jsPromises)
        registerObjectGroup(.jsRegExps)
        registerObjectGroup(.jsFunctions)
        registerObjectGroup(.jsFunctionPrototype)
        registerObjectGroup(.jsFunctionConstructor)
        registerObjectGroup(.jsSymbols)
        registerObjectGroup(.jsMaps)
        registerObjectGroup(.jsMapPrototype)
        registerObjectGroup(.jsMapConstructor)
        registerObjectGroup(.jsWeakMaps)
        registerObjectGroup(.jsWeakMapPrototype)
        registerObjectGroup(.jsWeakMapConstructor)
        registerObjectGroup(.jsSets)
        registerObjectGroup(.jsSetPrototype)
        registerObjectGroup(.jsSetConstructor)
        registerObjectGroup(.jsWeakSets)
        registerObjectGroup(.jsWeakSetPrototype)
        registerObjectGroup(.jsWeakSetConstructor)
        registerObjectGroup(.jsWeakRefs)
        registerObjectGroup(.jsWeakRefPrototype)
        registerObjectGroup(.jsWeakRefConstructor)
        registerObjectGroup(.jsFinalizationRegistrys)
        registerObjectGroup(.jsFinalizationRegistryPrototype)
        registerObjectGroup(.jsFinalizationRegistryConstructor)
        registerObjectGroup(.jsDisposableStacks)
        registerObjectGroup(.jsDisposableStackPrototype)
        registerObjectGroup(.jsDisposableStackConstructor)
        registerObjectGroup(.jsAsyncDisposableStacks)
        registerObjectGroup(.jsAsyncDisposableStackPrototype)
        registerObjectGroup(.jsAsyncDisposableStackConstructor)
        registerObjectGroup(.jsArrayBuffers)
        registerObjectGroup(.jsSharedArrayBuffers)
        for variant in JavaScriptEnvironment.typedArrayConstructors {
            registerObjectGroup(.jsTypedArrays(variant))
            registerObjectGroup(.jsTypedArrayPrototype(variant))
            registerObjectGroup(.jsTypedArrayConstructor(variant))
        }
        registerObjectGroup(.jsDataViews)
        registerObjectGroup(.jsDataViewPrototype)
        registerObjectGroup(.jsDataViewConstructor)

        registerObjectGroup(.jsObjectConstructor)
        registerObjectGroup(.jsPromiseConstructor)
        registerObjectGroup(.jsPromisePrototype)
        registerObjectGroup(.jsProxyConstructor)
        registerObjectGroup(.jsArrayConstructor)
        registerObjectGroup(.jsStringConstructor)
        registerObjectGroup(.jsStringPrototype)
        registerObjectGroup(.jsSymbolConstructor)
        registerObjectGroup(.jsBigIntConstructor)
        registerObjectGroup(.jsRegExpPrototype)
        registerObjectGroup(.jsRegExpConstructor)
        registerObjectGroup(.jsBooleanConstructor)
        registerObjectGroup(.jsNumberConstructor)
        registerObjectGroup(.jsMathObject)
        registerObjectGroup(.jsAtomicsObject)
        registerObjectGroup(.jsDate)
        registerObjectGroup(.jsDateConstructor)
        registerObjectGroup(.jsDatePrototype)
        registerObjectGroup(.jsJSONObject)
        registerObjectGroup(.jsReflectObject)
        registerObjectGroup(.jsArrayBufferConstructor)
        registerObjectGroup(.jsArrayBufferPrototype)
        registerObjectGroup(.jsSharedArrayBufferConstructor)
        registerObjectGroup(.jsSharedArrayBufferPrototype)
        for variant in [
            "Error", "EvalError", "RangeError", "ReferenceError", "SyntaxError", "TypeError",
            "AggregateError", "URIError", "SuppressedError",
        ] {
            registerObjectGroup(.jsError(variant))
            registerObjectGroup(.jsErrorPrototype(variant))
            registerObjectGroup(.jsErrorConstructor(variant))
        }
        registerObjectGroup(.jsWebAssemblyCompileOptions)
        registerObjectGroup(.jsWebAssemblyModuleConstructor)
        registerObjectGroup(.jsWebAssemblyGlobalConstructor)
        registerObjectGroup(.jsWebAssemblyGlobalPrototype)
        registerObjectGroup(.jsWebAssemblyInstanceConstructor)
        registerObjectGroup(.jsWebAssemblyInstance)
        registerObjectGroup(.jsWebAssemblyModule)
        registerObjectGroup(.jsWebAssemblyMemoryPrototype)
        registerObjectGroup(.jsWebAssemblyMemoryConstructor)
        registerObjectGroup(.jsWebAssemblyTablePrototype)
        registerObjectGroup(.jsWebAssemblyTableConstructor)
        registerObjectGroup(.jsWebAssemblyTagPrototype)
        registerObjectGroup(.jsWebAssemblyTagConstructor)
        registerObjectGroup(.jsWebAssemblyException)
        registerObjectGroup(.jsWebAssemblyExceptionPrototype)
        registerObjectGroup(.jsWebAssemblyExceptionConstructor)
        registerObjectGroup(.jsWebAssemblyError)
        registerObjectGroup(.jsWebAssemblyErrorPrototype)
        registerObjectGroup(.jsWebAssemblyErrorConstructor)
        registerObjectGroup(.jsWebAssembly)
        registerObjectGroup(.jsWasmGlobal)
        registerObjectGroup(.jsWasmMemory)
        registerObjectGroup(.wasmTable)
        registerObjectGroup(.jsWasmTag)
        registerObjectGroup(.jsWasmSuspendingObject)
        registerObjectGroup(.jsTemporalObject)
        registerObjectGroup(.jsTemporalNow)
        registerObjectGroup(.jsTemporalInstant)
        registerObjectGroup(.jsTemporalInstantConstructor)
        registerObjectGroup(.jsTemporalInstantPrototype)
        registerObjectGroup(.jsTemporalDuration)
        registerObjectGroup(.jsTemporalDurationConstructor)
        registerObjectGroup(.jsTemporalDurationPrototype)
        registerObjectGroup(.jsTemporalPlainTime)
        registerObjectGroup(.jsTemporalPlainTimeConstructor)
        registerObjectGroup(.jsTemporalPlainTimePrototype)
        registerObjectGroup(.jsTemporalPlainYearMonth)
        registerObjectGroup(.jsTemporalPlainYearMonthConstructor)
        registerObjectGroup(.jsTemporalPlainYearMonthPrototype)
        registerObjectGroup(.jsTemporalPlainMonthDay)
        registerObjectGroup(.jsTemporalPlainMonthDayConstructor)
        registerObjectGroup(.jsTemporalPlainMonthDayPrototype)
        registerObjectGroup(.jsTemporalPlainDate)
        registerObjectGroup(.jsTemporalPlainDateConstructor)
        registerObjectGroup(.jsTemporalPlainDatePrototype)
        registerObjectGroup(.jsTemporalPlainDateTime)
        registerObjectGroup(.jsTemporalPlainDateTimeConstructor)
        registerObjectGroup(.jsTemporalPlainDateTimePrototype)
        registerObjectGroup(.jsTemporalZonedDateTime)
        registerObjectGroup(.jsTemporalZonedDateTimeConstructor)
        registerObjectGroup(.jsTemporalZonedDateTimePrototype)
        registerObjectGroup(.jsIntlObject)
        registerObjectGroup(.jsIntlCollator)
        registerObjectGroup(.jsIntlCollatorConstructor)
        registerObjectGroup(.jsIntlCollatorPrototype)
        registerObjectGroup(.jsIntlDisplayNames)
        registerObjectGroup(.jsIntlDisplayNamesConstructor)
        registerObjectGroup(.jsIntlDisplayNamesPrototype)
        registerObjectGroup(.jsIntlDurationFormat)
        registerObjectGroup(.jsIntlDurationFormatConstructor)
        registerObjectGroup(.jsIntlDurationFormatPrototype)
        registerObjectGroup(.jsIntlDateTimeFormat)
        registerObjectGroup(.jsIntlDateTimeFormatConstructor)
        registerObjectGroup(.jsIntlDateTimeFormatPrototype)
        registerObjectGroup(.jsIntlListFormat)
        registerObjectGroup(.jsIntlListFormatConstructor)
        registerObjectGroup(.jsIntlListFormatPrototype)
        registerObjectGroup(.jsIntlLocale)
        registerObjectGroup(.jsIntlLocaleConstructor)
        registerObjectGroup(.jsIntlLocalePrototype)
        registerObjectGroup(.jsIntlNumberFormat)
        registerObjectGroup(.jsIntlNumberFormatConstructor)
        registerObjectGroup(.jsIntlNumberFormatPrototype)
        registerObjectGroup(.jsIntlPluralRules)
        registerObjectGroup(.jsIntlPluralRulesConstructor)
        registerObjectGroup(.jsIntlPluralRulesPrototype)
        registerObjectGroup(.jsIntlRelativeTimeFormat)
        registerObjectGroup(.jsIntlRelativeTimeFormatConstructor)
        registerObjectGroup(.jsIntlRelativeTimeFormatPrototype)
        registerObjectGroup(.jsIntlSegmenter)
        registerObjectGroup(.jsIntlSegmenterConstructor)
        registerObjectGroup(.jsIntlSegmenterPrototype)
        registerObjectGroup(.jsIntlSegmenterSegments)

        for group in additionalObjectGroups {
            registerObjectGroup(group)
        }

        registerEnumeration(.jsTemporalCalendarEnum)
        registerEnumeration(ObjectGroup.jsTemporalDirectionParam)
        registerEnumeration(ObjectGroup.jsIntlRelativeTimeFormatUnitEnum)
        registerEnumeration(ObjectGroup.jsIntlSupportedValuesEnum)
        registerEnumeration(OptionsBag.jsTemporalUnitEnum)
        registerEnumeration(OptionsBag.jsTemporalRoundingModeEnum)
        registerEnumeration(OptionsBag.jsTemporalShowCalendarEnum)
        registerEnumeration(OptionsBag.jsTemporalShowOffsetEnum)
        registerEnumeration(OptionsBag.jsTemporalShowTimeZoneEnum)
        registerEnumeration(OptionsBag.jsTemporalOverflowEnum)
        registerEnumeration(OptionsBag.jsTemporalDisambiguationEnum)
        registerEnumeration(OptionsBag.jsTemporalOffsetEnum)
        registerEnumeration(OptionsBag.jsIntlLocaleMatcherEnum)
        registerEnumeration(OptionsBag.jsIntlNumberingSystemEnum)
        registerEnumeration(OptionsBag.jsIntlHourCycleEnum)
        registerEnumeration(OptionsBag.jsIntlLongShortNarrowEnum)
        registerEnumeration(OptionsBag.jsIntlLongShortEnum)
        registerEnumeration(OptionsBag.jsIntlAutoAlwaysEnum)
        registerEnumeration(OptionsBag.jsIntlNumeric2DigitEnum)
        registerEnumeration(OptionsBag.jsIntlMonthEnum)
        registerEnumeration(OptionsBag.jsIntlTimeZoneNameEnum)
        registerEnumeration(OptionsBag.jsIntlFormatMatcherEnum)
        registerEnumeration(OptionsBag.jsIntlFullLongMediumShort)
        registerEnumeration(OptionsBag.jsIntlCollatorUsageEnum)
        registerEnumeration(OptionsBag.jsIntlCollationEnum)
        registerEnumeration(OptionsBag.jsIntlCollationTypeEnum)
        registerEnumeration(OptionsBag.jsIntlCaseFirstEnum)
        registerEnumeration(OptionsBag.jsIntlCollatorSensitivityEnum)
        registerEnumeration(OptionsBag.jsIntlDisplayNamesTypeEnum)
        registerEnumeration(OptionsBag.jsIntlDisplayNamesFallbackEnum)
        registerEnumeration(OptionsBag.jsIntlDisplayNamesLanguageDisplayEnum)
        registerEnumeration(OptionsBag.jsIntlDurationFormatStyleEnum)
        registerEnumeration(OptionsBag.jsIntlListFormatTypeEnum)
        registerEnumeration(OptionsBag.jsIntlNumberFormatStyleEnum)
        registerEnumeration(OptionsBag.jsIntlCurrencySystemEnum)
        registerEnumeration(OptionsBag.jsIntlCurrencyDisplayEnum)
        registerEnumeration(OptionsBag.jsIntlCurrencySignEnum)
        registerEnumeration(OptionsBag.jsIntlRoundingPriorityEnum)
        registerEnumeration(OptionsBag.jsIntlRoundingModeEnum)
        registerEnumeration(OptionsBag.jsIntlTrailingZeroDisplayEnum)
        registerEnumeration(OptionsBag.jsIntlNumberFormatNotationEnum)
        registerEnumeration(OptionsBag.jsIntlNumberFormatGroupingEnum)
        registerEnumeration(OptionsBag.jsIntlSignDisplayEnum)
        registerEnumeration(OptionsBag.jsIntlPluralRulesTypeEnum)
        registerEnumeration(OptionsBag.jsIntlSegmenterGranularityEnum)
        registerEnumeration(OptionsBag.jsIteratorZipModeEnum)
        registerEnumeration(OptionsBag.base64Alphabet)
        registerEnumeration(OptionsBag.base64LastChunkHandling)

        for enumeration in additionalEnumerations {
            assert(enumeration.isEnumeration)
            registerEnumeration(enumeration)
        }

        registerOptionsBag(.jsTemporalDifferenceSettingOrRoundTo)
        registerOptionsBag(.jsTemporalToStringSettings)
        registerOptionsBag(.jsTemporalOverflowSettings)
        registerOptionsBag(.jsTemporalZonedInterpretationSettings)
        registerOptionsBag(.jsTemporalDurationRoundToSettings)
        registerOptionsBag(.jsTemporalDurationTotalOfSettings)
        registerOptionsBag(.jsTemporalDurationCompareSettings)
        registerOptionsBag(.toBase64Settings)
        registerOptionsBag(.fromBase64Settings)
        registerOptionsBag(.jsTemporalPlainDateToZDTSettings)
        registerOptionsBag(.jsIntlDateTimeFormatSettings)
        registerOptionsBag(.jsIntlCollatorSettings)
        registerOptionsBag(.jsIntlDisplayNamesSettings)
        registerOptionsBag(.jsIntlDurationFormatSettings)
        registerOptionsBag(.jsIntlListFormatSettings)
        registerOptionsBag(.jsIntlLocaleSettings)
        registerOptionsBag(.jsIntlNumberFormatSettings)
        registerOptionsBag(.jsIntlPluralRulesSettings)
        registerOptionsBag(.jsIntlRelativeTimeFormatSettings)
        registerOptionsBag(.jsIntlSegmenterSettings)
        registerOptionsBag(.jsIntlLocaleMatcherSettings)
        registerOptionsBag(.jsIteratorZipSettings)

        for optionsBag in additionalOptionsBags {
            registerOptionsBag(optionsBag)
        }

        registerTemporalFieldsObject(
            .jsTemporalPlainTimeLikeObject, forWith: false, dateFields: false, timeFields: true,
            zonedFields: false)
        registerTemporalFieldsObject(
            .jsTemporalPlainDateLikeObject, forWith: false, dateFields: true, timeFields: false,
            zonedFields: false)
        registerTemporalFieldsObject(
            .jsTemporalPlainDateLikeObjectForWith, forWith: true, dateFields: true,
            timeFields: false, zonedFields: false)
        registerTemporalFieldsObject(
            .jsTemporalPlainDateTimeLikeObject, forWith: false, dateFields: true, timeFields: true,
            zonedFields: false)
        registerTemporalFieldsObject(
            .jsTemporalPlainDateTimeLikeObjectForWith, forWith: true, dateFields: true,
            timeFields: true, zonedFields: false)
        registerTemporalFieldsObject(
            .jsTemporalZonedDateTimeLikeObject, forWith: false, dateFields: true, timeFields: true,
            zonedFields: true)
        registerTemporalFieldsObject(
            .jsTemporalZonedDateTimeLikeObjectForWith, forWith: true, dateFields: true,
            timeFields: true, zonedFields: true)

        // This isn't a normal "temporal fields object" but is similar, and needs a similar producing generator
        registerObjectGroup(.jsTemporalDurationLikeObject)
        addProducingGenerator(
            forType: ObjectGroup.jsTemporalDurationLikeObject.instanceType,
            with: { b in b.createTemporalDurationFieldsObject() })
        addNamedStringGenerator(
            forType: ObjectGroup.jsTemporalTimeZoneLike,
            with: {
                if Bool.random() {
                    return ProgramBuilder.randomTimeZoneString()
                } else {
                    return ProgramBuilder.randomUTCOffsetString(mayHaveSeconds: true)
                }
            })
        addNamedStringGenerator(
            forType: .jsIntlLocaleString, with: { ProgramBuilder.constructIntlLocaleString() })
        addNamedStringGenerator(
            forType: .jsIntlLanguageString, with: { ProgramBuilder.constructIntlLanguageString() })
        addNamedStringGenerator(
            forType: .jsIntlScriptString, with: { ProgramBuilder.constructIntlScriptString() })
        addNamedStringGenerator(
            forType: .jsIntlRegionString, with: { ProgramBuilder.constructIntlRegionString() })
        addNamedStringGenerator(
            forType: .jsIntlVariantString, with: { ProgramBuilder.constructIntlVariantString() })
        addNamedStringGenerator(
            forType: .jsIntlUnitString, with: { ProgramBuilder.constructIntlUnit() })
        addNamedIntegerGenerator(
            forType: .jsUint8, with: { Int64(UInt8.random(in: .min ... .max)) })
        addNamedIntegerGenerator(forType: .jsInt8, with: { Int64(Int8.random(in: .min ... .max)) })
        addNamedIntegerGenerator(
            forType: .jsUint16, with: { Int64(UInt16.random(in: .min ... .max)) })
        addNamedIntegerGenerator(
            forType: .jsInt16, with: { Int64(Int16.random(in: .min ... .max)) })
        addNamedIntegerGenerator(
            forType: .jsUint32, with: { Int64(UInt32.random(in: .min ... .max)) })
        addNamedIntegerGenerator(
            forType: .jsInt32, with: { Int64(Int32.random(in: .min ... .max)) })

        // Temporal types are produced by a large number of methods; which means findOrGenerateType(), when asked to produce
        // a Temporal type, will tend towards trying to call a method on another Temporal type, which needs more Temporal types,
        // leading to a large amount of code generated. We do wish to test these codepaths as well, but by and large we
        // just want a freshly generated type.
        addProducingGenerator(
            forType: .jsTemporalInstant, with: { $0.constructTemporalInstant() }, probability: 0.9)
        addProducingGenerator(
            forType: .jsTemporalDuration, with: { $0.constructTemporalDuration() }, probability: 0.9
        )
        addProducingGenerator(
            forType: .jsTemporalPlainTime, with: { $0.constructTemporalTime() }, probability: 0.9)
        addProducingGenerator(
            forType: .jsTemporalPlainYearMonth, with: { $0.constructTemporalYearMonth() },
            probability: 0.9)
        addProducingGenerator(
            forType: .jsTemporalPlainMonthDay, with: { $0.constructTemporalMonthDay() },
            probability: 0.9)
        addProducingGenerator(
            forType: .jsTemporalPlainDate, with: { $0.constructTemporalDate() }, probability: 0.9)
        addProducingGenerator(
            forType: .jsTemporalPlainDateTime, with: { $0.constructTemporalDateTime() },
            probability: 0.9)
        addProducingGenerator(
            forType: .jsTemporalZonedDateTime, with: { $0.constructTemporalZonedDateTime() },
            probability: 0.9)

        // Register builtins that should be available for fuzzing.
        // Here it is easy to selectively disable/enable some APIs for fuzzing by
        // just commenting out the corresponding lines.
        registerBuiltin("Object", ofType: .jsObjectConstructor)
        registerBuiltin("Array", ofType: .jsArrayConstructor)
        registerBuiltin("Function", ofType: .jsFunctionConstructor)
        registerBuiltin("String", ofType: .jsStringConstructor)
        registerBuiltin("Boolean", ofType: .jsBooleanConstructor)
        registerBuiltin("Number", ofType: .jsNumberConstructor)
        registerBuiltin("Symbol", ofType: .jsSymbolConstructor)
        registerBuiltin("Iterator", ofType: .jsIteratorConstructor)
        registerBuiltin("BigInt", ofType: .jsBigIntConstructor)
        registerBuiltin("RegExp", ofType: .jsRegExpConstructor)
        for variant in [
            "Error", "EvalError", "RangeError", "ReferenceError", "SyntaxError", "TypeError",
            "URIError", "SuppressedError", "AggregateError",
        ] {
            registerBuiltin(variant, ofType: .jsErrorConstructor(variant))
        }
        registerBuiltin("ArrayBuffer", ofType: .jsArrayBufferConstructor)
        registerBuiltin("SharedArrayBuffer", ofType: .jsSharedArrayBufferConstructor)
        for variant in JavaScriptEnvironment.typedArrayConstructors {
            registerBuiltin(variant, ofType: .jsTypedArrayConstructor(variant))
        }
        registerBuiltin("DataView", ofType: .jsDataViewConstructor)
        registerBuiltin("Date", ofType: .jsDateConstructor)
        registerBuiltin("Promise", ofType: .jsPromiseConstructor)
        registerBuiltin("Proxy", ofType: .jsProxyConstructor)
        registerBuiltin("Map", ofType: .jsMapConstructor)
        registerBuiltin("WeakMap", ofType: .jsWeakMapConstructor)
        registerBuiltin("Set", ofType: .jsSetConstructor)
        registerBuiltin("WeakSet", ofType: .jsWeakSetConstructor)
        registerBuiltin("WeakRef", ofType: .jsWeakRefConstructor)
        registerBuiltin("FinalizationRegistry", ofType: .jsFinalizationRegistryConstructor)
        registerBuiltin("DisposableStack", ofType: .jsDisposableStackConstructor)
        registerBuiltin("AsyncDisposableStack", ofType: .jsAsyncDisposableStackConstructor)
        registerBuiltin("Math", ofType: .jsMathObject)
        registerBuiltin("Atomics", ofType: .jsAtomicsObject)
        registerBuiltin("JSON", ofType: .jsJSONObject)
        registerBuiltin("Reflect", ofType: .jsReflectObject)
        registerBuiltin("isNaN", ofType: .jsIsNaNFunction)
        registerBuiltin("isFinite", ofType: .jsIsFiniteFunction)
        registerBuiltin("escape", ofType: .jsEscapeFunction)
        registerBuiltin("unescape", ofType: .jsUnescapeFunction)
        registerBuiltin("decodeURI", ofType: .jsDecodeURIFunction)
        registerBuiltin("decodeURIComponent", ofType: .jsDecodeURIComponentFunction)
        registerBuiltin("encodeURI", ofType: .jsEncodeURIFunction)
        registerBuiltin("encodeURIComponent", ofType: .jsEncodeURIComponentFunction)
        registerBuiltin("eval", ofType: .jsEvalFunction)
        registerBuiltin("parseInt", ofType: .jsParseIntFunction)
        registerBuiltin("parseFloat", ofType: .jsParseFloatFunction)
        registerBuiltin("undefined", ofType: .jsUndefined)
        registerBuiltin("NaN", ofType: .jsNaN)
        registerBuiltin("Infinity", ofType: .jsInfinity)
        registerBuiltin("Temporal", ofType: .jsTemporalObject)
        registerBuiltin("Intl", ofType: .jsIntlObject)
        registerBuiltin("WebAssembly", ofType: ObjectGroup.jsWebAssembly.instanceType)

        for (builtin, type) in additionalBuiltins {
            registerBuiltin(builtin, ofType: type)
        }

        finalizeGlobalThisGroup()

        // Add some well-known builtin properties and methods.
        builtinProperties.insert("__proto__")
        builtinProperties.insert("constructor")
        builtinMethods.insert("valueOf")
        builtinMethods.insert("toString")
    }

    override func initialize() {
        // Ensure that some of the common property/method names exist.
        assert(builtinProperties.contains("__proto__"))
        assert(builtinProperties.contains("constructor"))
        assert(builtinMethods.contains("valueOf"))
        assert(builtinMethods.contains("toString"))

        checkConstructorAvailability()
        removeProducersThatCannotBeProduced()

        // Log detailed information about the environment here so users are aware of it and can modify things if they like.
        logger.info("Initialized static JS environment model")
        logger.info("Have \(builtins.count) available builtins: \(builtins.sorted())")
        logger.info("Have \(groups.count) different object groups: \(groups.keys.sorted())")
        logger.info(
            "Have \(builtinProperties.count) builtin property names: \(builtinProperties.sorted())")
        logger.info("Have \(builtinMethods.count) builtin method names: \(builtinMethods.sorted())")
        logger.info(
            "Have \(customProperties.count) custom property names: \(customProperties.sorted())")
        logger.info("Have \(customMethods.count) custom method names: \(customMethods.sorted())")
        logger.info(
            "Have \(customPrivateMethods.count) custom private method names: \(customPrivateMethods.sorted())"
        )
        logger.info(
            "Have \(customIdentifiers.count) custom identifier names: \(customIdentifiers.sorted())"
        )
    }

    /// Removes the producing methods and properties of object groups whose
    /// instances cannot be produced. Types are removed if:
    ///     1. They themselves cannot be produced
    ///     2. Their producing type(s) cannot be produced
    ///
    /// This eliminates cycles in type generation that, although stopped by the
    /// generation budget, nevertheless waste fuzzing time. For instance, if
    /// `A` is only produced as a property of `B`, which has no producer, then
    /// `B` will be generated from its properties, among which is `A`.
    private func removeProducersThatCannotBeProduced() {
        var producibleGroups = Set<String>()
        /// Inserts the group of `type`, and its parents, into `producibleGroups`.
        /// Returns whether the group was inserted, i.e. it is an object group that
        /// was not already known to be producible.
        @discardableResult
        func insertProducibleGroup(of type: ILType) -> Bool {
            guard var name = type.group, groups[name] != nil else { return false }
            let inserted = producibleGroups.insert(name).inserted
            while let parent = groups[name]?.parent {
                producibleGroups.insert(parent)
                name = parent
            }
            return inserted
        }

        // A group whose instances are produced by a method or a property of a
        // group that can be produced can be produced as well. Global builtins
        // have an empty group name.
        func canBeProduced(owner: String) -> Bool {
            owner.isEmpty || producibleGroups.contains(owner)
        }

        for type in builtinTypes.values {
            insertProducibleGroup(of: type.signature?.outputType ?? type)
        }
        for generator in fuzzer.codeGenerators {
            generator.produces.forEach { insertProducibleGroup(of: $0.type) }
        }
        for group in groups.values where group.constructorPath != nil {
            insertProducibleGroup(of: group.instanceType)
        }
        producibleGroups.formUnion(producingGenerators.keys)

        let producers =
            producingMethods.map { ($0.key, $0.value.map(\.group)) }
            + producingProperties.map { ($0.key, $0.value.map(\.group)) }
        var changed = true
        while changed {
            changed = false
            for (type, owners) in producers {
                if !owners.contains(where: canBeProduced) {
                    continue
                }
                if insertProducibleGroup(of: type) {
                    changed = true
                }
            }
        }

        producingMethods = producingMethods.mapValues {
            $0.filter { canBeProduced(owner: $0.group) }
        }
        producingProperties = producingProperties.mapValues {
            $0.filter { canBeProduced(owner: $0.group) }
        }
    }

    func checkConstructorAvailability() {
        logger.info("Checking constructor availability...")
        // These constructors return types that are well-known instead of .object types.
        let knownExceptions = [
            "Boolean",  // returns .boolean
            "Number",  // returns .number
            "Object",  // returns plain .object
            "Proxy",  // returns .jsAnything
        ]
        for builtin in builtins where type(ofBuiltin: builtin).Is(.constructor()) {
            if knownExceptions.contains(builtin) { continue }
            if !hasGroup(builtin) {
                logger.warning("Missing group info for constructable \(builtin)")
            }
            if type(ofBuiltin: builtin).signature == nil {
                logger.warning("Missing signature for builtin \(builtin)")
            } else {
                if !type(ofBuiltin: builtin).signature!.outputType.Is(.object(ofGroup: builtin)) {
                    logger.warning("Signature for builtin \(builtin) is mismatching")
                }
            }

        }
        logger.info("Done checking constructor availability...")
    }

    public func hasBuiltin(_ name: String) -> Bool {
        return self.builtinTypes.keys.contains(name)
    }

    public func hasGroup(_ name: String) -> Bool {
        return self.groups.keys.contains(name)
    }

    public var allObjectGroupNames: [String] {
        Array(groups.keys)
    }

    // Add a generator that produces an object of the provided `type`.
    //
    // The probability is how often this generator should be called when this type is required.
    //
    // The default probability (1) is for groups that are never generated as return types of other objects.
    // Use a lower probability if there are other ways to generate the object.
    //
    // Note that Fuzzilli is able to discover ways to construct types on its own. There are two use cases for this:
    // - "Options bag" type objects where no JS API produces them, so we *must* run a producing generator
    // - Temporal objects: These can be obtained from the result of other API calls, however a
    //   a lot of these API calls need more Temporal objects, leading to runaway recursion attempting
    //   to generate a large number of Temporal objects. Instead, we bias heavily towards the producing generator.
    public func addProducingGenerator(
        forType type: ILType, with generator: @escaping EnvironmentValueGenerator,
        probability: Double = 1.0
    ) {
        assert(
            type.Is(.object()),
            "Producing generators can only be registered for objects, found \(type)")
        producingGenerators[type.group!] = (generator, probability)
    }

    // Register a generator for a custom named string.
    public func addNamedStringGenerator(
        forType type: ILType, with generator: @escaping () -> String
    ) {
        assert(
            type.Is(.string),
            "Named string generators can only be registered for strings, found \(type)")
        namedStringGenerators[type.group!] = generator
    }

    // Register a generator for a custom named integer.
    public func addNamedIntegerGenerator(
        forType type: ILType, with generator: @escaping () -> Int64
    ) {
        assert(
            type.Is(.integer),
            "Named integer generators can only be registered for integers, found \(type)")
        namedIntegerGenerators[type.group!] = generator
    }

    private func addProducingMethod(forType type: ILType, by method: String, on group: String) {
        if producingMethods[type] == nil {
            producingMethods[type] = []
        }
        producingMethods[type]! += [(group: group, method: method)]
    }

    @discardableResult private func addProducingProperty(
        forType type: ILType, by property: String, on group: String
    ) -> ILType {
        let actualType: ILType
        if type.Is(.constructor()) {
            actualType = type.signature!.outputType
        } else {
            actualType = type
        }
        if producingProperties[actualType] == nil {
            producingProperties[actualType] = []
        }
        producingProperties[actualType]! += [(group: group, property: property)]
        return actualType
    }

    public func registerEnumeration(_ type: ILType) {
        assert(type.isEnumeration)
        let group = type.group!
        assert(enums[group] == nil, "Registered duplicate enum \(group)")
        enums[group] = type
    }

    public func registerObjectGroup(_ group: ObjectGroup) {
        assert(groups[group.name] == nil, "Registered duplicate object group \(group.name)")
        groups[group.name] = group
        builtinProperties.formUnion(group.properties.keys)
        builtinMethods.formUnion(group.methods.keys)

        // Step 1: Initialize `subtypes`
        //
        subtypes[group.instanceType] = [group.instanceType]
        var current = group
        while let parent = current.parent {
            // Parent groups are supposed to be defined before child groups
            current = groups[parent]!
            subtypes[current.instanceType]! += [group.instanceType]
        }

        //
        // Step 2: Initialize `producingMethods`
        //
        for overloads in group.methods {
            for method in overloads.value {
                assert(
                    method.outputType != .nothing,
                    "Method \(overloads.key) in group \(group.name) has .nothing as outputType")
                if method.outputType == .undefined {
                    continue
                }
                let type = method.outputType
                addProducingMethod(forType: type, by: overloads.key, on: group.name)
                if let groupName = type.group {
                    if var current = groups[groupName] {
                        while let parent = current.parent {
                            current = groups[parent]!
                            addProducingMethod(
                                forType: current.instanceType, by: overloads.key, on: group.name)
                        }
                    }
                }
            }
        }

        //
        // Step 3: Initialize `producingProperties`
        //
        for property in group.properties {
            let producedType = addProducingProperty(
                forType: property.value, by: property.key, on: group.name)
            if let groupName = producedType.group {
                if var current = groups[groupName] {
                    while let parent = current.parent {
                        current = groups[parent]!
                        addProducingProperty(
                            forType: current.instanceType, by: property.key, on: group.name)
                    }
                }
            }
        }
    }

    // Temporal has a large number of "fields" object (aka "partial temporal objects" or "temporal-like objects")
    // which have a number of datetime-like fields. These are never produced as a result from any JS APIs, so we cannot
    // expect instances of them to already exist in scope. Instead, we generate them ourselves when requested.
    public func registerTemporalFieldsObject(
        _ group: ObjectGroup, forWith: Bool, dateFields: Bool, timeFields: Bool, zonedFields: Bool
    ) {
        registerObjectGroup(group)
        addProducingGenerator(
            forType: group.instanceType,
            with: { b in
                b.createTemporalFieldsObject(
                    forWith: forWith, dateFields: dateFields, timeFields: timeFields,
                    zonedFields: zonedFields)
            })
    }

    private func registerBuiltin(_ name: String, ofType type: ILType) {
        assert(builtinTypes[name] == nil)
        builtinTypes[name] = type
        builtins.insert(name)

        globalThisGroup.properties[name] = type
        if let sig = type.functionSignature ?? type.signature {
            globalThisGroup.methods[name] = [sig]
        }

        builtinProperties.insert(name)
        if type.functionSignature != nil || type.signature != nil {
            builtinMethods.insert(name)
        }

        let producedType = addProducingProperty(forType: type, by: name, on: "")
        if let groupName = producedType.group {
            if var current = groups[groupName] {
                while let parent = current.parent {
                    current = groups[parent]!
                    addProducingProperty(forType: current.instanceType, by: name, on: "")
                }
            }
        }
    }

    private func finalizeGlobalThisGroup() {
        globalThisGroup.properties["globalThis"] = .object(ofGroup: "GlobalThis")
        globalThisGroup.instanceType = .object(
            ofGroup: "GlobalThis",
            // Sort to ensure deterministic printing of this type.
            withProperties: Array(globalThisGroup.properties.keys).sorted(),
            withMethods: Array(globalThisGroup.methods.keys).sorted()
        )
        registerBuiltin("globalThis", ofType: globalThisGroup.instanceType)
        registerObjectGroup(globalThisGroup)
    }

    public func registerOptionsBag(_ bag: OptionsBag) {
        registerObjectGroup(bag.group)

        assert(!bag.properties.isEmpty, "OptionsBag with should have at least one property")
        for property in bag.properties.values {
            if property.isEnumeration {
                assert(
                    enums[property.group!] != nil,
                    "Enum \(property.group!) used in options bag but not registered on the JavaScriptEnvironment"
                )
            }
        }

        addProducingGenerator(
            forType: bag.group.instanceType, with: { b in b.createOptionsBag(bag) })
    }

    public func type(ofBuiltin builtinName: String) -> ILType {
        if let type = builtinTypes[builtinName] {
            return type
        } else {
            logger.warning("Missing type for builtin \(builtinName)")
            return .jsAnything
        }
    }

    public func type(ofGroup groupName: String) -> ILType {
        if let type = getGroup(groupName)?.instanceType {
            return type
        } else {
            logger.warning("Missing type for group \(groupName)")
            return .jsAnything
        }
    }

    public func type(ofProperty propertyName: String, on baseType: ILType) -> ILType {
        if let groupName = baseType.group {
            if let group = getGroup(groupName) {
                if let type = group.properties[propertyName] {
                    return type
                }
                if let signatures = group.methods[propertyName] {
                    return .unboundFunction(signatures.first, receiver: baseType)
                }
            } else if !(baseType.isEnumeration || baseType.isNamedString) {
                // This shouldn't happen, probably forgot to register the object group.
                logger.warning("No type information for object group \(groupName) available")
            }
        }

        return .jsAnything
    }

    public func signatures(ofMethod methodName: String, on baseType: ILType) -> [Signature] {
        if let groupName = baseType.group {
            if let group = getGroup(groupName) {
                if let signatures = group.methods[methodName] {
                    return signatures
                }
            } else if !(baseType.isEnumeration || baseType.isNamedString) {
                // This shouldn't happen, probably forgot to register the object group
                logger.warning("No type information for object group \(groupName) available")
            }
        }

        return [.forUnknownFunction]
    }

    public func getEnum(ofName name: String) -> ILType? {
        return enums[name]
    }

    public func getProducingMethods(ofType type: ILType) -> [(group: String, method: String)] {
        guard let array = producingMethods[type] else {
            return []
        }
        return array
    }

    // For ObjectGroups, get a generator that is registered as being able to produce this
    // ObjectGroup.
    public func getProducingGenerator(ofType type: ILType) -> (
        generator: EnvironmentValueGenerator, probability: Double
    )? {
        type.group.flatMap { producingGenerators[$0] }
    }

    // For named strings, get a generator that is registered as being able to produce this
    // named string.
    public func getNamedStringGenerator(ofName name: String) -> (() -> String)? {
        namedStringGenerators[name]
    }

    // For named integers, get a generator that is registered as being able to produce this
    // named integer.
    public func getNamedIntegerGenerator(ofName name: String) -> (() -> Int64)? {
        namedIntegerGenerators[name]
    }

    // If the object group refers to a constructor, get its path.
    public func getPathIfConstructor(ofGroup groupName: String) -> [String]? {
        guard let group = getGroup(groupName) else {
            return nil
        }
        return group.constructorPath
    }

    public func getProducingProperties(ofType type: ILType) -> [(group: String, property: String)] {
        guard let array = producingProperties[type] else {
            return []
        }
        return array
    }

    public func getSubtypes(ofType type: ILType) -> [ILType] {
        guard let array = subtypes[type] else {
            return [type]
        }
        return array
    }

    public func isSubtype(_ type: ILType, of parent: ILType) -> Bool {
        return getSubtypes(ofType: parent).reduce(false) {
            $0 || type.Is($1)
        }
    }

    func isValidIdentifierOrIndex(_ name: String) -> Bool {
        return (try? ValidationRegexes.identifierOrIndex.wholeMatch(in: name)) != nil
    }

    func isValidDotNotationName(_ name: String) -> Bool {
        return (try? ValidationRegexes.dotNotationName.wholeMatch(in: name)) != nil
    }

    func isValidPropertyIndex(_ name: String) -> Bool {
        return (try? ValidationRegexes.propertyIndex.wholeMatch(in: name)) != nil
    }

    private func getGroup(_ groupName: String) -> ObjectGroup? {
        if let group = groups[groupName] {
            return group
        }

        // Specific well-known symbols (e.g., Symbol.dispose) use their own distinct group names
        // (like "Symbol.dispose") so the type system can differentiate them. This maps them back to the registered
        // "Symbol" ObjectGroup for property and method lookups.
        if groupName.hasPrefix("Symbol.") {
            return groups["Symbol"]
        }

        return nil
    }
}

/// A struct to encapsulate property and method type information for a group of related objects.
public struct ObjectGroup {
    public let name: String
    public var properties: [String: ILType]
    public var methods: [String: [Signature]]
    // This may be used in custom profiles of Fuzzilli users' (e.g. ChromiumProfile.swift).
    public let parent: String?
    // Path to constructor function from `globalThis` if available (e.g. `["Temporal", "Instant"]`).
    public let constructorPath: [String]?

    /// The type of instances of this group.
    public var instanceType: ILType

    public init(
        name: String, constructorPath: String? = nil, instanceType: ILType?,
        properties: [String: ILType], overloads: [String: [Signature]], parent: String? = nil
    ) {
        self.name = name
        if name.hasPrefix("_fuzz_") {
            let isRegistered = ILType.dynamicObjectGroupPrefixes.contains(where: {
                name.hasPrefix($0)
            })
            assert(
                isRegistered,
                "Dynamic object group prefix for '\(name)' is not registered in ILType.dynamicObjectGroupPrefixes. This will break groupsMatchByPrefix!"
            )
        }
        self.properties = properties
        self.methods = overloads
        self.parent = parent

        if let instanceType {
            // We could also only assert set inclusion here to implement "shared" properties/methods.
            // (which would then need some kind of fallback ObjectGroup that is consulted by the
            // type lookup routines if the real group doesn't have the requested information).
            assert(instanceType.group == name, "group name mismatch for group \(name)")
            assert(
                instanceType.properties == Set(properties.keys),
                "inconsistent property information for object group \(name): \(Set(properties.keys).symmetricDifference(instanceType.properties))"
            )
            assert(
                instanceType.methods == Set(methods.keys),
                "inconsistent method information for object group \(name): \(Set(methods.keys).symmetricDifference(instanceType.methods))"
            )
            self.instanceType = instanceType
        } else {
            // Simply calculate the instance type based on the ObjectGroup information.
            self.instanceType = .object(
                ofGroup: name, withProperties: Array(properties.keys),
                withMethods: Array(methods.keys))
        }

        if let constructorPath {
            assert(
                self.instanceType.Is(.constructor()) || self.instanceType.Is(.function()),
                "\(name) has a constructor path set but does not wrap a constructor")
            self.constructorPath = constructorPath.split(separator: ".").map({ String($0) })
        } else {
            self.constructorPath = nil
        }
    }

    public init(
        name: String, constructorPath: String? = nil, instanceType: ILType?,
        properties: [String: ILType], methods: [String: Signature], parent: String? = nil
    ) {
        self.init(
            name: name, constructorPath: constructorPath, instanceType: instanceType,
            properties: properties, overloads: methods.mapValues({ [$0] }), parent: parent)
    }
}

// Some APIs take an "options bag", a list of options like {foo: "something", bar: "something", baz: 1}
//
// It is useful to be able to represent simple options bags so that we can efficiently codegen them
public struct OptionsBag {
    public enum SelectionMode {
        // Select any random subset of options
        case anySubset
        // Select exactly one random option
        case exactlyOne
    }

    // The type of each property, not including `| .undefined`.
    // We may extend this once we start supporting more complex bags
    public var properties: [String: ILType]
    // An ObjectGroup representing this bag
    public var group: ObjectGroup
    // Determines how the OptionsBag selects from among the possible options
    public var selectionMode: SelectionMode

    public init(
        name: String, properties: [String: ILType], selectionMode: SelectionMode = .anySubset
    ) {
        self.properties = properties
        let properties = properties.mapValues {
            return $0 | .undefined
        }
        self.group = ObjectGroup(
            name: name, instanceType: nil, properties: properties, overloads: [:])
        self.selectionMode = selectionMode
    }
}

// Types of builtin objects, functions, and values.
//
// Most objects have a number of common fields, such as .constructor or the various methods defined on the object prototype.
// We do not model these here since it's usually relatively uninteresting to use these always-existing fields. __proto__ is the exception,
// and so for that we have special code generators that load or modify an object's prototype. Additionally, mutators like the
// ExplorationMutator will make use of __proto__ and other common fields.
//
// As such, one rule of thumb here is that each object type should only contain the properties and methods that are specific to this type
// and not shared with other, unrelated objects.
// Another rule of thumb is that the type information should either be complete or missing entirely. I.e. it is better to have a field be .jsAnything
// or .jsAnythingObject instead of only specifying a subset of its properties for example. Partial type information is usually bad as
// only the available parts will be used by e.g. CodeGenerators while for example the ExplorationMutator will believe that type information is
// complete and so it does not need to explore this value.
//
// Note, these must be kept in sync with the ObjectGroups below (in particular the properties and methods). To help with that, the ObjectGroup
// constructor asserts that the type information is consistent between instance type and the ObjectGroup.
extension ILType {
    /// Type of a string in JavaScript.
    /// A JS string is both a string and an object on which methods can be called.
    public static let jsString =
        ILType.string + ILType.iterable()
        + ILType.object(
            ofGroup: "String", withProperties: ["length"],
            withMethods: [
                "charAt", "charCodeAt", "codePointAt", "concat", "includes", "endsWith", "indexOf",
                "lastIndexOf", "match", "matchAll", "padEnd", "padStart", "normalize", "repeat",
                "replace", "replaceAll", "search", "slice", "split", "startsWith", "substring",
                "trim", "trimStart", "trimLeft", "trimEnd", "trimRight", "toUpperCase",
                "toLowerCase", "localeCompare", "anchor", "at", "big", "blink", "bold", "fixed",
                "fontcolor", "fontsize", "isWellFormed", "italics", "link", "small", "strike",
                "sub", "substr", "sup", "toLocaleLowerCase", "toLocaleUpperCase", "toWellFormed",
            ])

    /// Type of a regular expression in JavaScript.
    /// A JS RegExp is both a RegExp and an object on which methods can be called.
    public static let jsRegExp =
        ILType.regexp
        + ILType.object(
            ofGroup: "RegExp",
            withProperties: [
                "flags", "dotAll", "global", "hasIndices", "ignoreCase", "lastIndex", "multiline",
                "source", "sticky", "unicode", "unicodeSets",
            ], withMethods: ["compile", "exec", "test"])

    /// Type of a JavaScript Symbol.
    public static let jsSymbol = ILType.object(ofGroup: "Symbol", withProperties: ["description"])

    public static func jsSymbol(ofGroup group: String) -> ILType {
        return ILType.object(ofGroup: group, withProperties: ["description"])
    }

    /// Type of numbers bound by integer constraints.
    public static let jsUint8 = ILType.namedInteger(ofName: "Uint8")
    public static let jsInt8 = ILType.namedInteger(ofName: "Int8")
    public static let jsUint16 = ILType.namedInteger(ofName: "Uint16")
    public static let jsInt16 = ILType.namedInteger(ofName: "Int16")
    public static let jsUint32 = ILType.namedInteger(ofName: "Uint32")
    public static let jsInt32 = ILType.namedInteger(ofName: "Int32")

    /// Type of a JavaScript array.
    public static let jsArray = createJsArrayType()

    /// Create a jsArray parameterized by `ofELementType`.
    public static func createJsArrayType(ofElementType: ILType = .jsAnything) -> ILType {
        return ILType.iterable(ofElementType: ofElementType)
            + ILType.object(
                ofGroup: "Array", withProperties: ["length"],
                withMethods: [
                    "at", "concat", "copyWithin", "fill", "find", "findIndex", "findLast",
                    "findLastIndex", "pop", "push", "reverse", "shift", "unshift", "slice", "sort",
                    "splice", "includes", "indexOf", "keys", "entries", "forEach", "filter", "map",
                    "every", "some", "reduce", "reduceRight", "toString", "toLocaleString",
                    "toReversed", "toSorted", "toSpliced", "with", "join", "lastIndexOf", "values",
                    "flat", "flatMap",
                ])
    }

    /// A type that can be disposed.
    public static let disposable = ILType.object(withSymbolMethods: ["Symbol.dispose"])

    /// A type that can be asynchronously disposed.
    public static let asyncDisposable = ILType.object(withSymbolMethods: ["Symbol.asyncDispose"])

    /// A thenable object.
    public static let thenable = ILType.object(withMethods: ["then"])

    /// Type of a JavaScript function's arguments object.
    public static let jsArguments =
        ILType.iterable()
        + ILType.object(ofGroup: "Arguments", withProperties: ["length", "callee"])

    /// Type of a JavaScript Iterator object.
    public static let jsIterator =
        ILType.iterable()
        + ILType.object(
            ofGroup: "Iterator", withProperties: ["value", "done"],
            withMethods: [
                "next", "return", "throw", "map", "filter", "take", "drop", "flatMap", "reduce",
                "toArray", "forEach", "some", "every", "find", "join", "includes",
            ])

    /// Type of the JavaScript Iterator constructor builtin.
    public static let jsIteratorConstructor = ILType.object(
        ofGroup: "IteratorConstructor", withProperties: ["prototype"],
        withMethods: ["from", "concat", "zip", "zipKeyed"])

    public static func createJsGeneratorType(ofYieldType yieldType: ILType = .jsAnything) -> ILType
    {
        return ILType.iterable(ofElementType: yieldType)
            + ILType.object(ofGroup: "Generator", withMethods: ["next", "return", "throw"])
    }

    /// Type of a JavaScript generator object.
    public static let jsGenerator = createJsGeneratorType()

    public static func createJsAsyncGeneratorType(ofYieldType yieldType: ILType = .jsAnything)
        -> ILType
    {
        return ILType.asyncIterable(ofElementType: yieldType)
            + ILType.object(ofGroup: "AsyncGenerator", withMethods: ["next", "return", "throw"])
    }

    public static let jsAsyncGenerator = createJsAsyncGeneratorType()

    /// Type of a JavaScript Promise object.
    public static func jsPromise(
        resolvingTo: ILType = .jsAnything, withProperties properties: [String] = [],
        withMethods methods: [String] = [], withSymbolMethods symbolMethods: [String] = []
    ) -> ILType {
        return ILType.object(
            ofGroup: "Promise", withProperties: properties,
            withMethods: methods + ["catch", "finally", "then"],
            withSymbolMethods: symbolMethods,
            promiseResolvingTo: resolvingTo)
    }

    /// Type of a JavaScript Map object.
    public static let jsMap = createJsMapType()

    /// Create a jsMap parameterized by `ofKeyType` and `ofValueType`.
    public static func createJsMapType(
        ofKeyType keyType: ILType? = nil, ofValueType valueType: ILType? = nil
    ) -> ILType {
        assert(
            (keyType == nil) == (valueType == nil),
            "Either both key and value types must be specified, or neither.")

        let entryElementType: ILType = keyType != nil ? (keyType! | valueType!) : .jsAnything
        return createJsMapType(ofEntryElementType: entryElementType)
    }

    /// Create a jsMap whose [key, value] entry arrays have element type
    /// `ofEntryElementType`. Since keys and values share the entry array, the
    /// type system only tracks their union, so this is equivalent to
    /// `createJsMapType(ofKeyType, ofValueType)`.
    public static func createJsMapType(ofEntryElementType entryElementType: ILType) -> ILType {
        let entryType = createJsArrayType(ofElementType: entryElementType)

        return ILType.iterable(ofElementType: entryType)
            + ILType.object(
                ofGroup: "Map", withProperties: ["size"],
                withMethods: [
                    "clear", "delete", "entries", "forEach", "get", "has", "keys", "set", "values",
                    "getOrInsert", "getOrInsertComputed",
                ])
    }

    /// Type of a JavaScript WeakMap object.
    public static let jsWeakMap = ILType.object(
        ofGroup: "WeakMap",
        withMethods: ["delete", "get", "has", "set", "getOrInsert", "getOrInsertComputed"])

    /// Type of a JavaScript Set object.
    public static let jsSet =
        ILType.iterable()
        + ILType.object(
            ofGroup: "Set", withProperties: ["size"],
            withMethods: [
                "add", "clear", "delete", "entries", "forEach", "has", "keys", "values",
                "difference", "intersection", "isDisjointFrom", "isSubsetOf", "isSupersetOf",
                "symmetricDifference", "union",
            ])

    /// Type of a JavaScript WeakSet object.
    public static let jsWeakSet = ILType.object(
        ofGroup: "WeakSet", withMethods: ["add", "delete", "has"])

    /// Type of a JavaScript WeakRef object.
    public static let jsWeakRef = ILType.object(ofGroup: "WeakRef", withMethods: ["deref"])

    /// Type of a JavaScript FinalizationRegistry object.
    public static let jsFinalizationRegistry = ILType.object(
        ofGroup: "FinalizationRegistry", withMethods: ["register", "unregister"])

    /// Type of a JavaScript DisposableStack object.
    public static let jsDisposableStack = ILType.object(
        ofGroup: "DisposableStack", withProperties: ["disposed"],
        withMethods: ["dispose", "use", "adopt", "defer", "move"],
        withSymbolMethods: ["Symbol.dispose"])

    /// Type of a JavaScript AsyncDisposableStack object.
    public static let jsAsyncDisposableStack = ILType.object(
        ofGroup: "AsyncDisposableStack", withProperties: ["disposed"],
        withMethods: ["disposeAsync", "use", "adopt", "defer", "move"],
        withSymbolMethods: ["Symbol.asyncDispose"])

    /// Type of a JavaScript ArrayBuffer object.
    public static let jsArrayBuffer = ILType.object(
        ofGroup: "ArrayBuffer", withProperties: ["byteLength", "maxByteLength", "resizable"],
        withMethods: [
            "resize", "slice", "sliceToImmutable", "transfer", "transferToFixedLength",
            "transferToImmutable",
        ])

    /// Type of a JavaScript SharedArrayBuffer object.
    public static let jsSharedArrayBuffer = ILType.object(
        ofGroup: "SharedArrayBuffer", withProperties: ["byteLength", "maxByteLength", "growable"],
        withMethods: ["grow", "slice"])

    /// Type of a JavaScript DataView object.
    public static let jsDataView = ILType.object(
        ofGroup: "DataView", withProperties: ["buffer", "byteLength", "byteOffset"],
        withMethods: [
            "getInt8", "getUint8", "getInt16", "getUint16", "getInt32", "getUint32", "getFloat16",
            "getFloat32", "getFloat64", "getBigInt64", "getBigUint64", "setInt8", "setUint8",
            "setInt16", "setUint16", "setInt32", "setUint32", "setFloat16", "setFloat32",
            "setFloat64", "setBigInt64", "setBigUint64",
        ])

    /// Type of a JavaScript TypedArray object of the given variant.
    public static func jsTypedArray(_ variant: String) -> ILType {
        let extraMethods =
            variant == "Uint8Array" ? ["setFromBase64", "setFromHex", "toBase64", "toHex"] : []
        return .iterable()
            + .object(
                ofGroup: variant,
                withProperties: [
                    "BYTES_PER_ELEMENT", "buffer", "byteOffset", "byteLength", "length",
                ],
                withMethods: [
                    "at", "copyWithin", "fill", "find", "findIndex", "findLast", "findLastIndex",
                    "reverse", "slice", "sort", "includes", "indexOf", "keys", "entries", "forEach",
                    "filter", "map", "every", "set", "some", "subarray", "reduce", "reduceRight",
                    "join", "lastIndexOf", "values", "toLocaleString", "toString", "toReversed",
                    "toSorted", "with",
                ]
                    + extraMethods)
    }

    public static let jsUint8Array = jsTypedArray("Uint8Array")

    // TODO(mliedtke): Saying "any typed array" isn't really easily possible right now, so we type
    // the expected parameter type as any object.
    fileprivate static let someTypedArray = ILType.object()

    /// Type of a JavaScript function.
    /// A JavaScript function is also constructors. Moreover, it is also an object as it has a number of properties and methods.
    public static func jsFunction(_ signature: Signature = Signature.forUnknownFunction) -> ILType {
        return .constructor(signature) + .function(signature)
            + .object(
                ofGroup: "Function",
                withProperties: ["prototype", "length", "arguments", "caller", "name"],
                withMethods: ["apply", "bind", "call"])
    }

    /// Type of the JavaScript Object constructor builtin.
    public static let jsObjectConstructor =
        .functionAndConstructor([.jsAnything...] => .object())
        + .object(
            ofGroup: "ObjectConstructor", withProperties: ["prototype"],
            withMethods: [
                "assign", "fromEntries", "getOwnPropertyDescriptor", "getOwnPropertyDescriptors",
                "getOwnPropertyNames", "getOwnPropertySymbols", "is", "preventExtensions", "seal",
                "create", "defineProperties", "defineProperty", "freeze", "getPrototypeOf",
                "setPrototypeOf", "isExtensible", "isFrozen", "isSealed", "keys", "entries",
                "values", "groupBy", "hasOwn",
            ])

    /// Type of the JavaScript Array constructor builtin.
    public static let jsArrayConstructor =
        .functionAndConstructor([.integer] => .jsArray)
        + .object(
            ofGroup: "ArrayConstructor", withProperties: ["prototype"],
            withMethods: ["from", "fromAsync", "of", "isArray"])

    /// Type of the JavaScript Function constructor builtin.
    public static let jsFunctionConstructor =
        ILType.functionAndConstructor([.string] => .jsFunction(Signature.forUnknownFunction))
        + .object(ofGroup: "FunctionConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript String constructor builtin.
    public static let jsStringConstructor =
        ILType.functionAndConstructor([.jsAnything] => .jsString)
        + .object(
            ofGroup: "StringConstructor", withProperties: ["prototype"],
            withMethods: ["fromCharCode", "fromCodePoint", "raw"])

    /// Type of the JavaScript Boolean constructor builtin.
    public static let jsBooleanConstructor =
        ILType.functionAndConstructor([.jsAnything] => .boolean)
        + .object(ofGroup: "BooleanConstructor", withProperties: ["prototype"], withMethods: [])

    /// Type of the JavaScript Number constructor builtin.
    public static let jsNumberConstructor =
        ILType.functionAndConstructor([.jsAnything] => .number)
        + .object(
            ofGroup: "NumberConstructor",
            withProperties: [
                "prototype", "EPSILON", "MAX_SAFE_INTEGER", "MAX_VALUE", "MIN_SAFE_INTEGER",
                "MIN_VALUE", "NaN", "NEGATIVE_INFINITY", "POSITIVE_INFINITY",
            ],
            withMethods: [
                "isNaN", "isFinite", "isInteger", "isSafeInteger", "parseFloat", "parseInt",
            ])

    /// Type of the JavaScript Symbol constructor builtin.
    public static let jsSymbolConstructor =
        ILType.function([.string] => .jsSymbol)
        + .object(
            ofGroup: "SymbolConstructor", withProperties: JavaScriptEnvironment.wellKnownSymbols,
            withMethods: ["for", "keyFor"])

    /// Type of the JavaScript BigInt constructor builtin.
    public static let jsBigIntConstructor =
        ILType.function([.number] => .bigint)
        + .object(
            ofGroup: "BigIntConstructor", withProperties: ["prototype"],
            withMethods: ["asIntN", "asUintN"])

    /// Type of the JavaScript RegExp constructor builtin.
    public static let jsRegExpConstructor =
        ILType.functionAndConstructor([.string] => .jsRegExp)
        + .object(
            ofGroup: "RegExpConstructor",
            withProperties: [
                "prototype", "$1", "$2", "$3", "$4", "$5", "$6", "$7", "$8", "$9", "$_", "input",
                "lastMatch", "lastParen", "leftContext",
            ], withMethods: ["escape"])

    /// Type of a JavaScript Error object of the given variant.
    public static func jsError(_ variant: String) -> ILType {
        return .object(
            ofGroup: variant, withProperties: ["message", "name", "cause", "stack"],
            withMethods: ["toString"])
    }

    /// Type of the JavaScript Error constructor builtin
    public static func jsErrorConstructor(_ variant: String) -> ILType {
        let signature =
            if variant == "AggregateError" {
                [.plain(.iterable()), .opt(.string), .opt(.object())] => .jsError("AggregateError")
            } else {
                [.opt(.string)] => .jsError(variant)
            }
        return .functionAndConstructor(signature)
            + .object(
                ofGroup: "\(variant)Constructor",
                withProperties: ["name", "prototype", "stackTraceLimit"],
                withMethods: ["isError", "captureStackTrace"])
    }

    /// Type of the JavaScript ArrayBuffer constructor builtin.
    public static let jsArrayBufferConstructor =
        ILType.constructor([.integer, .opt(.object())] => .jsArrayBuffer)
        + .object(
            ofGroup: "ArrayBufferConstructor", withProperties: ["prototype"],
            withMethods: ["isView"])

    /// Type of the JavaScript SharedArrayBuffer constructor builtin.
    public static let jsSharedArrayBufferConstructor =
        ILType.constructor([.integer, .opt(.object())] => .jsSharedArrayBuffer)
        + .object(
            ofGroup: "SharedArrayBufferConstructor", withProperties: ["prototype"], withMethods: [])

    /// Type of a JavaScript TypedArray constructor builtin.
    public static func jsTypedArrayConstructor(_ variant: String) -> ILType {
        let methods = variant == "Uint8Array" ? ["fromBase64", "fromHex"] : []
        // TODO Also allow SharedArrayBuffers for first argument
        return .constructor(
            [.opt(.integer | .jsArrayBuffer), .opt(.integer), .opt(.integer)]
                => .jsTypedArray(variant))
            + .object(
                ofGroup: "\(variant)Constructor",
                withProperties: ["prototype", "BYTES_PER_ELEMENT"],
                withMethods: methods)
    }

    /// Type of the JavaScript DataView constructor builtin. (TODO Also allow SharedArrayBuffers for first argument)
    public static let jsDataViewConstructor =
        ILType.constructor([.plain(.jsArrayBuffer), .opt(.integer), .opt(.integer)] => .jsDataView)
        + .object(ofGroup: "DataViewConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript Promise constructor builtin.
    public static let jsPromiseConstructor =
        ILType.constructor([.function()] => .jsPromise())
        + .object(
            ofGroup: "PromiseConstructor", withProperties: ["prototype"],
            withMethods: [
                "resolve", "reject", "all", "any", "race", "allSettled", "try", "withResolvers",
            ])

    /// Type of the JavaScript Proxy constructor builtin.
    public static let jsProxyConstructor =
        ILType.constructor([.object(), .object()] => .jsAnything)
        + .object(ofGroup: "ProxyConstructor", withProperties: [], withMethods: ["revocable"])

    /// Type of the JavaScript Map constructor builtin.
    public static let jsMapConstructor =
        ILType.constructor([.object()] => .jsMap)
        + .object(
            ofGroup: "MapConstructor", withProperties: ["prototype"], withMethods: ["groupBy"])

    /// Type of the JavaScript WeakMap constructor builtin.
    public static let jsWeakMapConstructor =
        ILType.constructor([.object()] => .jsWeakMap)
        + .object(ofGroup: "WeakMapConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript Set constructor builtin.
    public static let jsSetConstructor =
        ILType.constructor([.object()] => .jsSet)
        + .object(ofGroup: "SetConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript WeakSet constructor builtin.
    public static let jsWeakSetConstructor =
        ILType.constructor([.object()] => .jsWeakSet)
        + .object(ofGroup: "WeakSetConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript WeakRef constructor builtin.
    public static let jsWeakRefConstructor =
        ILType.constructor([.object()] => .jsWeakRef)
        + .object(ofGroup: "WeakRefConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript FinalizationRegistry constructor builtin.
    public static let jsFinalizationRegistryConstructor =
        ILType.constructor([.function()] => .jsFinalizationRegistry)
        + .object(ofGroup: "FinalizationRegistryConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript DisposableStack constructor builtin.
    public static let jsDisposableStackConstructor =
        ILType.constructor([] => .jsDisposableStack)
        + .object(ofGroup: "DisposableStackConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript AsyncDisposableStack constructor builtin.
    public static let jsAsyncDisposableStackConstructor =
        ILType.constructor([] => .jsAsyncDisposableStack)
        + .object(ofGroup: "AsyncDisposableStackConstructor", withProperties: ["prototype"])

    /// Type of the JavaScript Math constructor builtin.
    public static let jsMathObject = ILType.object(
        ofGroup: "Math",
        withProperties: ["E", "PI", "LN10", "LN2", "LOG10E", "LOG2E", "SQRT1_2", "SQRT2"],
        withMethods: [
            "abs", "acos", "acosh", "asin", "asinh", "atan", "atanh", "atan2", "ceil", "cbrt",
            "expm1", "clz32", "cos", "cosh", "exp", "floor", "fround", "f16round", "hypot", "imul",
            "log", "log1p", "log2", "log10", "max", "min", "pow", "random", "round", "sign", "sin",
            "sinh", "sqrt", "sumPrecise", "tan", "tanh", "trunc",
        ])

    /// Type of the JavaScript Atomics builtin.
    public static let jsAtomicsObject = ILType.object(
        ofGroup: "Atomics", withProperties: [],
        withMethods: [
            "add", "and", "compareExchange", "exchange", "isLockFree", "load", "notify", "or",
            "pause", "store", "sub", "wait", "waitAsync", "xor",
        ])

    /// Type of the JavaScript Date object
    public static let jsDate = ILType.object(
        ofGroup: "Date",
        withMethods: [
            "toISOString", "toDateString", "toTimeString", "toLocaleString", "toLocaleDateString",
            "toLocaleTimeString", "getTime", "getFullYear", "getUTCFullYear", "getMonth",
            "getUTCMonth", "getDate", "getUTCDate", "getDay", "getUTCDay", "getHours",
            "getUTCHours", "getMinutes", "getUTCMinutes", "getSeconds", "getUTCSeconds",
            "getMilliseconds", "getUTCMilliseconds", "getTimezoneOffset", "getYear", "setTime",
            "setMilliseconds", "setUTCMilliseconds", "setSeconds", "setUTCSeconds", "setMinutes",
            "setUTCMinutes", "setHours", "setUTCHours", "setDate", "setUTCDate", "setMonth",
            "setUTCMonth", "setFullYear", "setUTCFullYear", "setYear", "toJSON", "toUTCString",
            "toGMTString", "toTemporalInstant",
        ])

    /// Type of the JavaScript Date constructor builtin
    public static let jsDateConstructor =
        ILType.functionAndConstructor([.opt(.string | .number)] => .jsDate)
        + .object(
            ofGroup: "DateConstructor", withProperties: ["prototype"],
            withMethods: ["UTC", "now", "parse"])

    /// Type of the JavaScript JSON object builtin.
    public static let jsJSONObject = ILType.object(
        ofGroup: "JSON", withMethods: ["parse", "stringify", "rawJSON", "isRawJSON"])

    /// Type of the JavaScript Reflect object builtin.
    public static let jsReflectObject = ILType.object(
        ofGroup: "Reflect",
        withMethods: [
            "apply", "construct", "defineProperty", "deleteProperty", "get",
            "getOwnPropertyDescriptor", "getPrototypeOf", "has", "isExtensible", "ownKeys",
            "preventExtensions", "set", "setPrototypeOf",
        ])

    /// Type of the JavaScript isNaN builtin function.
    public static let jsIsNaNFunction = ILType.function([.jsAnything] => .boolean)

    /// Type of the JavaScript isFinite builtin function.
    public static let jsIsFiniteFunction = ILType.function([.jsAnything] => .boolean)

    /// Type of the JavaScript escape builtin function.
    public static let jsEscapeFunction = ILType.function([.jsAnything] => .jsString)

    /// Type of the JavaScript unescape builtin function.
    public static let jsUnescapeFunction = ILType.function([.jsAnything] => .jsString)

    /// Type of the JavaScript decodeURI builtin function.
    public static let jsDecodeURIFunction = ILType.function([.jsAnything] => .jsString)

    /// Type of the JavaScript decodeURIComponent builtin function.
    public static let jsDecodeURIComponentFunction = ILType.function([.jsAnything] => .jsString)

    /// Type of the JavaScript encodeURI builtin function.
    public static let jsEncodeURIFunction = ILType.function([.jsAnything] => .jsString)

    /// Type of the JavaScript encodeURIComponent builtin function.
    public static let jsEncodeURIComponentFunction = ILType.function([.jsAnything] => .jsString)

    /// Type of the JavaScript eval builtin function.
    public static let jsEvalFunction = ILType.function([.string] => .jsAnything)

    /// Type of the JavaScript parseInt builtin function.
    public static let jsParseIntFunction = ILType.function([.string] => .integer)

    /// Type of the JavaScript parseFloat builtin function.
    public static let jsParseFloatFunction = ILType.function([.string] => .float)

    /// Type of the JavaScript undefined value.
    public static let jsUndefined = ILType.undefined

    /// Type of the JavaScript NaN value.
    public static let jsNaN = ILType.float

    /// Type of the JavaScript Infinity value.
    public static let jsInfinity = ILType.float

    public static let jsWebAssemblyModule = ILType.object(ofGroup: "WebAssembly.Module")

    /// Type of the WebAssembly.Module() constructor.
    // TODO: The first constructor argument can also be any typed array and .jsSharedArrayBuffer.
    public static let jsWebAssemblyModuleConstructor =
        ILType.constructor([.plain(.jsArrayBuffer)] => .jsWebAssemblyModule)
        + .object(
            ofGroup: "WebAssemblyModuleConstructor", withProperties: ["prototype"],
            withMethods: ["customSections", "imports", "exports"])

    public static let jsWebAssemblyGlobalConstructor =
        // We do not type the result as being part of the ObjectGroup "WasmGlobal" as that would
        // require to also add a WasmTypeExtension to its type. This is fine as the proper
        // construction of globals is done via the high-level Wasm operations and these builtins
        // only serve the purpose of fuzzing the API.
        ILType.constructor(
            [.plain(.object()), .jsAnything]
                => .object(withProperties: ["value"], withMethods: ["valueOf"]))
        + .object(
            ofGroup: "WebAssemblyGlobalConstructor", withProperties: ["prototype"], withMethods: [])

    public static let jsWebAssemblyInstance = ILType.object(
        ofGroup: "WebAssembly.Instance",
        withProperties: ["exports"])

    public static let jsWebAssemblyInstanceConstructor =
        ILType.constructor(
            [.plain(.jsWebAssemblyModule), .plain(.object())] => .jsWebAssemblyInstance)
        + .object(
            ofGroup: "WebAssemblyInstanceConstructor", withProperties: ["prototype"],
            withMethods: [])

    // Similarly to Wasm globals, we do not type the results as being part of an object group as the
    // result type doesn't have a valid WasmTypeExtension.
    public static let jsWebAssemblyMemoryConstructor =
        ILType.constructor(
            [.plain(.object(withProperties: ["initial"]))]
                => .object(
                    withProperties: ["buffer"],
                    withMethods: ["grow", "toResizableBuffer", "toFixedLengthBuffer"]))
        + .object(ofGroup: "WebAssemblyMemoryConstructor", withProperties: ["prototype"])

    public static let jsWebAssemblyTableConstructor =
        ILType.constructor(
            [.plain(.object(withProperties: ["initial"]))]
                => object(withProperties: ["length"], withMethods: ["get", "grow", "set"]))
        + .object(ofGroup: "WebAssemblyTableConstructor", withProperties: ["prototype"])

    public static let jsWebAssemblyTagConstructor =
        ILType.constructor(
            [.plain(.object(withProperties: ["parameters"]))] => object(withMethods: []))
        + .object(ofGroup: "WebAssemblyTagConstructor", withProperties: ["prototype"])

    public static let jsWebAssemblyExceptionConstructor =
        ILType.constructor(
            [
                .plain(ObjectGroup.jsWasmTag.instanceType), .plain(.jsArray),
                .opt(.object(withProperties: ["traceStack"])),
            ] => ObjectGroup.jsWebAssemblyException.instanceType)
        + .object(ofGroup: "WebAssemblyExceptionConstructor", withProperties: ["prototype"])

    // The JavaScript WebAssembly.Table object of the given variant, i.e. FuncRef or ExternRef
    public static let wasmTable = ILType.object(
        ofGroup: "WasmTable", withProperties: ["length"], withMethods: ["get", "grow", "set"])

    // Temporal types
    public static let jsTemporalObject = ILType.object(
        ofGroup: "Temporal",
        withProperties: [
            "Instant", "Duration", "PlainTime", "PlainYearMonth", "PlainMonthDay", "PlainDate",
            "PlainDateTime", "ZonedDateTime", "Now",
        ])

    // TODO(mliedtke): Can we stop documenting Object.prototype methods? It doesn't make much sense that half of the ObjectGroups register a toString method,
    // the other half doesn't and not a single one registers e.g. propertyIsEnumerable or isPrototypeOf.`?
    //
    // Note that Temporal toString accepts additional parameters
    private static let commonStringifierMethods = ["toString", "toJSON", "toLocaleString"]

    public static let jsTemporalInstant = ILType.object(
        ofGroup: "Temporal.Instant", withProperties: ["epochMilliseconds", "epochNanoseconds"],
        withMethods: ["add", "subtract", "until", "since", "round", "equals", "toZonedDateTimeISO"]
            + commonStringifierMethods)

    public static let jsTemporalInstantConstructor =
        ILType.constructor([.bigint] => .jsTemporalInstant)
        + .object(
            ofGroup: "TemporalInstantConstructor", withProperties: ["prototype"],
            withMethods: ["from", "fromEpochMilliseconds", "fromEpochNanoseconds", "compare"])

    public static let jsTemporalDuration = ILType.object(
        ofGroup: "Temporal.Duration",
        withProperties: [
            "years", "months", "weeks", "days", "hours", "minutes", "seconds", "milliseconds",
            "microseconds", "nanoseconds", "sign", "blank",
        ],
        withMethods: ["with", "negated", "abs", "add", "subtract", "round", "total"]
            + commonStringifierMethods)

    public static let jsTemporalDurationConstructor =
        ILType.constructor(
            [
                .opt(.number), .opt(.number), .opt(.number), .opt(.number), .opt(.number),
                .opt(.number), .opt(.number), .opt(.number), .opt(.number), .opt(.number),
            ] => .jsTemporalDuration)
        + .object(
            ofGroup: "TemporalDurationConstructor", withProperties: ["prototype"],
            withMethods: ["from", "compare"])

    fileprivate static let timeProperties = [
        "hour", "minute", "second", "millisecond", "microsecond", "nanosecond",
    ]
    public static let jsTemporalPlainTime = ILType.object(
        ofGroup: "Temporal.PlainTime", withProperties: timeProperties,
        withMethods: ["add", "subtract", "with", "until", "since", "round", "equals"]
            + commonStringifierMethods)

    public static let jsTemporalPlainTimeConstructor =
        ILType.constructor(
            [
                .opt(.number), .opt(.number), .opt(.number), .opt(.number), .opt(.number),
                .opt(.number),
            ] => .jsTemporalPlainTime)
        + .object(
            ofGroup: "TemporalPlainTimeConstructor", withProperties: ["prototype"],
            withMethods: ["from", "compare"])

    public static let jsTemporalCalendarEnum = ILType.enumeration(
        ofName: "temporalCalendar",
        withValues: [
            "buddhist", "chinese", "coptic", "dangi", "ethioaa", "ethiopic", "ethiopic-amete-alem",
            "gregory", "hebrew", "indian", "islamic-civil", "islamic-tbla", "islamic-umalqura",
            "islamicc", "iso8601", "japanese", "persian", "roc",
        ])

    fileprivate static let yearMonthProperties = [
        "calendarId", "era", "eraYear", "year", "month", "monthCode", "daysInMonth", "daysInYear",
        "monthsInYear", "inLeapYear",
    ]

    public static let jsTemporalPlainYearMonth = ILType.object(
        ofGroup: "Temporal.PlainYearMonth", withProperties: yearMonthProperties,
        withMethods: ["with", "add", "subtract", "until", "since", "equals", "toPlainDate"]
            + commonStringifierMethods)

    public static let jsTemporalPlainYearMonthConstructor =
        ILType.constructor(
            [.integer, .integer, .opt(.jsTemporalCalendarEnum), .opt(.integer)]
                => .jsTemporalPlainYearMonth)
        + .object(
            ofGroup: "TemporalPlainYearMonthConstructor", withProperties: ["prototype"],
            withMethods: ["from", "compare"])

    public static let jsTemporalPlainMonthDay = ILType.object(
        ofGroup: "Temporal.PlainMonthDay", withProperties: ["calendarId", "monthCode", "day"],
        withMethods: ["with", "equals", "toPlainDate"] + commonStringifierMethods)

    public static let jsTemporalPlainMonthDayConstructor =
        ILType.constructor(
            [.integer, .integer, .opt(.jsTemporalCalendarEnum), .opt(.integer)]
                => .jsTemporalPlainMonthDay)
        + .object(
            ofGroup: "TemporalPlainMonthDayConstructor", withProperties: ["prototype"],
            withMethods: ["from"])

    fileprivate static let dateProperties =
        yearMonthProperties + [
            "day", "dayOfYear", "dayOfWeek", "weekOfYear", "yearOfWeek", "daysInWeek",
        ]

    public static let jsTemporalPlainDate = ILType.object(
        ofGroup: "Temporal.PlainDate", withProperties: dateProperties,
        withMethods: [
            "toPlainYearMonth", "toPlainMonthDay", "add", "subtract", "with", "withCalendar",
            "until", "since", "equals", "toPlainDateTime", "toZonedDateTime",
        ] + commonStringifierMethods)

    public static let jsTemporalPlainDateConstructor =
        ILType.constructor(
            [.number, .number, .number, .opt(.jsTemporalCalendarEnum)] => .jsTemporalPlainDate)
        + .object(
            ofGroup: "TemporalPlainDateConstructor", withProperties: ["prototype"],
            withMethods: ["from", "compare"])

    public static let jsTemporalPlainDateTime = ILType.object(
        ofGroup: "Temporal.PlainDateTime", withProperties: dateProperties + timeProperties,
        withMethods: [
            "with", "withPlainTime", "withCalendar", "add", "subtract", "until", "since", "round",
            "equals", "toZonedDateTime", "toPlainDate", "toPlainTime",
        ] + commonStringifierMethods)

    public static let jsTemporalPlainDateTimeConstructor =
        ILType.constructor(
            [
                .number, .number, .number, .opt(.number), .opt(.number), .opt(.number),
                .opt(.number), .opt(.number), .opt(.number), .opt(.jsTemporalCalendarEnum),
            ] => .jsTemporalPlainDateTime)
        + .object(
            ofGroup: "TemporalPlainDateTimeConstructor", withProperties: ["prototype"],
            withMethods: ["from", "compare"])

    public static let jsTemporalZonedDateTime = ILType.object(
        ofGroup: "Temporal.ZonedDateTime",
        withProperties: dateProperties + timeProperties + [
            "timeZoneId", "epochMilliseconds", "epochNanoseconds", "offsetNanoseconds", "offset",
        ],
        withMethods: [
            "with", "withPlainTime", "withTimeZone", "withCalendar", "add", "subtract", "until",
            "since", "round", "equals", "startOfDay", "getTimeZoneTransition", "toInstant",
            "toPlainDate", "toPlainTime", "toPlainDateTime",
        ] + commonStringifierMethods)

    public static let jsTemporalZonedDateTimeConstructor =
        ILType.constructor(
            [.bigint, .string, .opt(.jsTemporalCalendarEnum)] => .jsTemporalZonedDateTime)
        + .object(
            ofGroup: "TemporalZonedDateTimeConstructor", withProperties: ["prototype"],
            withMethods: ["from", "compare"])

    public static let jsTemporalNow = ILType.object(
        ofGroup: "Temporal.Now", withProperties: [],
        withMethods: [
            "timeZoneId", "instant", "plainDateTimeISO", "zonedDateTimeISO", "plainDateISO",
            "plainTimeISO",
        ])
}

extension ObjectGroup {
    // Creates an object group representing a "prototype" object on a built-in, like Date.prototype.
    // These objects are somewhat special in JavaScript as they describe an object which has
    // methods on them for which you shall not call them with the bound this as a receiver, e.g.
    // `Date.prototype.getTime()` fails as `Date.prototype` is not a `Date`.
    // Therefore the methods are registered as properties, so Fuzzilli doesn't generate calls for
    // them. Instead Fuzzilli generates GetProperty operations for them which will then be typed as
    // an `ILType.unboundFunction` which knows the required receiver type (in the example `Date`),
    // so Fuzzilli can generate sequences like `Date.prototype.getTime.call(new Date())`.
    public static func createPrototypeObjectGroup(
        _ receiver: ObjectGroup,
        constructor: ILType = .object(),
        excludeProperties: [String] = [],
        additionalProperties: [String: ILType] = [:]
    ) -> ObjectGroup {
        let name = receiver.name + ".prototype"
        var properties = Dictionary(
            uniqueKeysWithValues: receiver.methods.map {
                ($0.0, ILType.unboundFunction($0.1.first, receiver: receiver.instanceType))
            })

        properties.merge(additionalProperties) { _, _ in
            fatalError("duplicate property")
        }

        // Each <Builtin>.prototype has a constructor property.
        // In general, the following should hold true:
        //   <Builtin>.prototype.constructor === <Builtin>;
        properties["constructor"] = constructor
        // Some properties of the instance type do not come from the prototype, e.g. Iterator.next
        // which comes from the Iterator protocol.
        // Other properties are get accessors instead of regular functions, and error when accessed
        // on the prototype. We hide them from the prototype object to avoid generating patterns
        // like `let v0 = Intl.DateTimeFormat.prototype.format`.
        for property in excludeProperties {
            properties.removeValue(forKey: property)
        }
        return ObjectGroup(
            name: name,
            instanceType: .object(
                ofGroup: name, withProperties: properties.map { $0.0 }, withMethods: []),
            properties: properties,
            methods: [:]
        )
    }
}

// Type information for the object groups that we use to model the JavaScript runtime environment.
// The general rules here are:
//  * "output" type information (properties and return values) should be as precise as possible
//  * "input" type information (function parameters) should be as broad as possible
extension ObjectGroup {
    /// Object group modelling the JavaScript globalThis object.
    /// Note: The properties and methods are registered dynamically.
    public static let jsGlobalThis = ObjectGroup(
        name: "GlobalThis",
        instanceType: nil,
        properties: [:],
        overloads: [:]
    )

    /// Object group modelling JavaScript strings
    public static let jsStrings = ObjectGroup(
        name: "String",
        instanceType: .jsString,
        properties: [
            "length": .integer
        ],
        methods: [
            "charAt": [.integer] => .jsString,
            "charCodeAt": [.integer] => .integer,
            "codePointAt": [.integer] => .integer,
            "concat": [.jsAnything...] => .jsString,
            "includes": [.jsAnything, .opt(.integer)] => .boolean,
            "endsWith": [.string, .opt(.integer)] => .boolean,
            "indexOf": [.jsAnything, .opt(.integer)] => .integer,
            "lastIndexOf": [.jsAnything, .opt(.integer)] => .integer,
            "match": [.regexp] => .jsArray,
            "matchAll": [.regexp] => .jsIterator,
            "normalize": [] => .jsString,  // the first parameter must be a specific string value, so we have a CodeGenerator for that instead
            "padEnd": [.integer, .opt(.string)] => .jsString,
            "padStart": [.integer, .opt(.string)] => .jsString,
            "repeat": [.integer] => .jsString,
            "replace": [.oneof(.string, .regexp), .string] => .jsString,
            "replaceAll": [.string, .string] => .jsString,
            "search": [.regexp] => .integer,
            "slice": [.integer, .opt(.integer)] => .jsString,
            "split": [.opt(.string), .opt(.integer)] => .jsArray,
            "startsWith": [.string, .opt(.integer)] => .boolean,
            "substring": [.integer, .opt(.integer)] => .jsString,
            "trim": [] => .jsString,
            "trimStart": [] => .jsString,
            "trimLeft": [] => .jsString,
            "trimEnd": [] => .jsString,
            "trimRight": [] => .jsString,
            "toLowerCase": [] => .jsString,
            "toUpperCase": [] => .jsString,
            "localeCompare": [.string, .opt(.string), .opt(.object())] => .integer,
            "anchor": [.string] => .jsString,
            "at": [.integer] => .jsString,
            "big": [] => .jsString,
            "blink": [] => .jsString,
            "bold": [] => .jsString,
            "fixed": [] => .jsString,
            "fontcolor": [.string] => .jsString,
            "fontsize": [.integer] => .jsString,
            "isWellFormed": [] => .boolean,
            "italics": [] => .jsString,
            "link": [.string] => .jsString,
            "small": [] => .jsString,
            "strike": [] => .jsString,
            "sub": [] => .jsString,
            "substr": [.integer, .opt(.integer)] => .jsString,
            "sup": [] => .jsString,
            "toLocaleLowerCase": [.opt(.jsIntlLocaleLike)] => .jsString,
            "toLocaleUpperCase": [.opt(.jsIntlLocaleLike)] => .jsString,
            "toWellFormed": [] => .jsString,
        ]
    )

    /// Object group modelling JavaScript regular expressions.
    public static let jsRegExps = ObjectGroup(
        name: "RegExp",
        instanceType: .jsRegExp,
        properties: [
            "flags": .string,
            "dotAll": .boolean,
            "global": .boolean,
            "hasIndices": .boolean,
            "ignoreCase": .boolean,
            "lastIndex": .integer,
            "multiline": .boolean,
            "source": .string,
            "sticky": .boolean,
            "unicode": .boolean,
            "unicodeSets": .boolean,
        ],
        methods: [
            "compile": [.string] => .jsRegExp,
            "exec": [.string] => .jsArray,
            "test": [.string] => .boolean,
        ]
    )

    /// Object group modelling JavaScript arrays
    public static let jsArrays = ObjectGroup(
        name: "Array",
        instanceType: .jsArray,
        properties: [
            "length": .integer
        ],
        methods: [
            "at": [.integer] => .jsAnything,
            "copyWithin": [.integer, .integer, .opt(.integer)] => .jsArray,
            "entries": [] => .jsIterator,
            "every": [.function(), .opt(.object())] => .boolean,
            "fill": [.jsAnything, .opt(.integer), .opt(.integer)] => .jsArray,
            "find": [.function(), .opt(.object())] => .jsAnything,
            "findIndex": [.function(), .opt(.object())] => .integer,
            "findLast": [.function(), .opt(.object())] => .jsAnything,
            "findLastIndex": [.function(), .opt(.object())] => .integer,
            "forEach": [.function(), .opt(.object())] => .undefined,
            "includes": [.jsAnything, .opt(.integer)] => .boolean,
            "indexOf": [.jsAnything, .opt(.integer)] => .integer,
            "join": [.opt(.string)] => .jsString,
            "keys": [] => .jsIterator,
            "lastIndexOf": [.jsAnything, .opt(.integer)] => .integer,
            "reduce": [.function(), .opt(.jsAnything)] => .jsAnything,
            "reduceRight": [.function(), .opt(.jsAnything)] => .jsAnything,
            "reverse": [] => .jsArray,
            "some": [.function(), .opt(.jsAnything)] => .boolean,
            "sort": [.opt(.function())] => .jsArray,
            "values": [] => .jsIterator,
            "pop": [] => .jsAnything,
            "push": [.jsAnything...] => .integer,
            "shift": [] => .jsAnything,
            "splice": [.integer, .opt(.integer), .jsAnything...] => .jsArray,
            "unshift": [.jsAnything...] => .integer,
            "concat": [.jsAnything...] => .jsArray,
            "filter": [.function(), .opt(.object())] => .jsArray,
            "map": [.function(), .opt(.object())] => .jsArray,
            "slice": [.opt(.integer), .opt(.integer)] => .jsArray,
            "flat": [.opt(.integer)] => .jsArray,
            "flatMap": [.function(), .opt(.jsAnything)] => .jsArray,
            "toString": [] => .jsString,
            "toLocaleString": [.opt(.string), .opt(.object())] => .jsString,
            "toReversed": [] => .jsArray,
            "toSorted": [.opt(.function())] => .jsArray,
            "toSpliced": [.integer, .opt(.integer), .jsAnything...] => .jsArray,
            "with": [.integer, .jsAnything] => .jsArray,
        ]
    )

    /// ObjectGroup modelling JavaScript functions
    public static let jsFunctions = ObjectGroup(
        name: "Function",
        instanceType: .jsFunction(),
        properties: [
            "prototype": .object(),
            "length": .integer,
            "arguments": .jsArray,
            "caller": .jsFunction(),
            "name": .jsString,
        ],
        methods: [
            "apply": [.object(), .object()] => .jsAnything,
            "call": [.object(), .jsAnything...] => .jsAnything,
            "bind": [.object(), .jsAnything...] => .jsAnything,
        ]
    )

    public static let jsFunctionPrototype = createPrototypeObjectGroup(
        jsFunctions,
        constructor: .jsFunctionConstructor)

    public static let jsFunctionConstructor = ObjectGroup(
        name: "FunctionConstructor",
        constructorPath: "Function",
        instanceType: .jsFunctionConstructor,
        properties: [
            "prototype": jsFunctionPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript Symbols
    public static let jsSymbols = ObjectGroup(
        name: "Symbol",
        instanceType: .jsSymbol,
        properties: [
            "description": .jsString
        ],
        methods: [:]
    )

    /// Object group modelling JavaScript arguments objects.
    public static let jsArguments = ObjectGroup(
        name: "Arguments",
        instanceType: .jsArguments,
        properties: [
            "length": .integer,
            "callee": .jsFunction(),
        ],
        methods: [:]
    )

    public static let jsIterator = ObjectGroup(
        name: "Iterator",
        instanceType: .jsIterator,
        properties: [
            "done": .boolean,
            "value": .jsAnything,
        ],
        methods: [
            "next": [.opt(.jsAnything)] => .object(withProperties: ["done", "value"]),
            "return": [.opt(.jsAnything)] => .object(withProperties: ["done", "value"]),
            "throw": [.opt(.jsAnything)] => .object(withProperties: ["done", "value"]),
            "map": [.function()] => .jsIterator,
            "filter": [.function()] => .jsIterator,
            "take": [.integer] => .jsIterator,
            "drop": [.integer] => .jsIterator,
            "flatMap": [.function()] => .jsIterator,
            "reduce": [.function(), .opt(.jsAnything)] => .jsAnything,
            "toArray": [] => .jsArray,
            "forEach": [.function()] => .undefined,
            "some": [.function()] => .boolean,
            "every": [.function()] => .boolean,
            "find": [.function()] => .jsAnything,
            "join": [.opt(.string)] => .jsString,
            "includes": [.jsAnything, .opt(.integer)] => .boolean,
        ]
    )

    // next, return and throw are part of the Iterator protocol, not Iterator.prototype.
    public static let jsIteratorPrototype = createPrototypeObjectGroup(
        jsIterator,
        constructor: .jsIteratorConstructor,
        excludeProperties: ["next", "return", "throw"])

    public static let jsIteratorConstructor = ObjectGroup(
        name: "IteratorConstructor",
        instanceType: .jsIteratorConstructor,
        properties: [
            "prototype": jsIteratorPrototype.instanceType
        ],
        methods: [
            "from": [.jsAnything] => .jsIterator,
            "concat": [.jsAnything...] => .jsIterator,
            "zip": [.iterable, .opt(OptionsBag.jsIteratorZipSettings.group.instanceType)]
                => .jsIterator,
            "zipKeyed": [.object(), .opt(OptionsBag.jsIteratorZipSettings.group.instanceType)]
                => .jsIterator,
        ]
    )

    public static let jsGenerators = ObjectGroup(
        name: "Generator",
        instanceType: .jsGenerator,
        properties: [:],
        methods: [
            "next": [.opt(.jsAnything)] => .object(withProperties: ["done", "value"]),
            "return": [.opt(.jsAnything)] => .object(withProperties: ["done", "value"]),
            "throw": [.opt(.jsAnything)] => .object(withProperties: ["done", "value"]),
        ]
    )

    public static let jsAsyncGenerators = ObjectGroup(
        name: "AsyncGenerator",
        instanceType: .jsAsyncGenerator,
        properties: [:],
        methods: [
            "next": [.opt(.jsAnything)] => .jsPromise(),
            "return": [.opt(.jsAnything)] => .jsPromise(),
            "throw": [.opt(.jsAnything)] => .jsPromise(),
        ]
    )

    /// Object group modelling JavaScript promises.
    public static let jsPromises = ObjectGroup(
        name: "Promise",
        instanceType: .jsPromise(),
        properties: [:],
        methods: [
            "catch": [.function()] => .jsPromise(),
            "then": [.function()] => .jsPromise(),
            "finally": [.function()] => .jsPromise(),
        ]
    )

    /// ObjectGroup modelling JavaScript Map objects
    public static let jsMaps = ObjectGroup(
        name: "Map",
        instanceType: .jsMap,
        properties: [
            "size": .integer
        ],
        methods: [
            "clear": [] => .undefined,
            "delete": [.jsAnything] => .boolean,
            "entries": [] => .jsIterator,
            "forEach": [.function(), .opt(.object())] => .undefined,
            "get": [.jsAnything] => .jsAnything,
            "has": [.jsAnything] => .boolean,
            "keys": [] => .jsIterator,
            "set": [.jsAnything, .jsAnything] => .jsMap,
            "values": [] => .jsIterator,
            "getOrInsert": [.jsAnything, .jsAnything] => .jsAnything,
            "getOrInsertComputed": [.jsAnything, .function()] => .jsAnything,
        ]
    )

    public static let jsProxyConstructor = ObjectGroup(
        name: "ProxyConstructor",
        constructorPath: "Proxy",
        instanceType: .jsProxyConstructor,
        properties: [:],
        methods: [
            "revocable": [.object(), .object()] => .object(withProperties: ["proxy", "revoke"])
        ]
    )

    public static let jsMapPrototype = createPrototypeObjectGroup(
        jsMaps,
        constructor: .jsMapConstructor)

    public static let jsMapConstructor = ObjectGroup(
        name: "MapConstructor",
        constructorPath: "Map",
        instanceType: .jsMapConstructor,
        properties: [
            "prototype": jsMapPrototype.instanceType
        ],
        methods: [
            "groupBy": [.iterable, .function()] => .jsMap
        ]
    )

    /// ObjectGroup modelling JavaScript WeakMap objects
    public static let jsWeakMaps = ObjectGroup(
        name: "WeakMap",
        instanceType: .jsWeakMap,
        properties: [:],
        methods: [
            "delete": [.jsAnything] => .boolean,
            "get": [.jsAnything] => .jsAnything,
            "has": [.jsAnything] => .boolean,
            "set": [.jsAnything, .jsAnything] => .jsWeakMap,
            "getOrInsert": [.jsAnything, .jsAnything] => .jsAnything,
            "getOrInsertComputed": [.jsAnything, .function()] => .jsAnything,
        ]
    )

    public static let jsWeakMapPrototype = createPrototypeObjectGroup(
        jsWeakMaps,
        constructor: .jsWeakMapConstructor)

    public static let jsWeakMapConstructor = ObjectGroup(
        name: "WeakMapConstructor",
        constructorPath: "WeakMap",
        instanceType: .jsWeakMapConstructor,
        properties: [
            "prototype": jsWeakMapPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript Set objects
    public static let jsSets = ObjectGroup(
        name: "Set",
        instanceType: .jsSet,
        properties: [
            "size": .integer
        ],
        methods: [
            "add": [.jsAnything] => .jsSet,
            "clear": [] => .undefined,
            "delete": [.jsAnything] => .boolean,
            "difference": [.plain(.jsSet)] => .jsSet,
            "entries": [] => .jsIterator,
            "forEach": [.function(), .opt(.object())] => .undefined,
            "has": [.jsAnything] => .boolean,
            "intersection": [.plain(.jsSet)] => .jsSet,
            "isDisjointFrom": [.plain(.jsSet)] => .boolean,
            "isSubsetOf": [.plain(.jsSet)] => .boolean,
            "isSupersetOf": [.plain(.jsSet)] => .boolean,
            "keys": [] => .jsIterator,
            "symmetricDifference": [.plain(.jsSet)] => .jsSet,
            "union": [.plain(.jsSet)] => .jsSet,
            "values": [] => .jsIterator,
        ]
    )

    public static let jsSetPrototype = createPrototypeObjectGroup(
        jsSets,
        constructor: .jsSetConstructor)

    public static let jsSetConstructor = ObjectGroup(
        name: "SetConstructor",
        constructorPath: "Set",
        instanceType: .jsSetConstructor,
        properties: [
            "prototype": jsSetPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript WeakSet objects
    public static let jsWeakSets = ObjectGroup(
        name: "WeakSet",
        instanceType: .jsWeakSet,
        properties: [:],
        methods: [
            "add": [.jsAnything] => .jsWeakSet,
            "delete": [.jsAnything] => .boolean,
            "has": [.jsAnything] => .boolean,
        ]
    )

    public static let jsWeakSetPrototype = createPrototypeObjectGroup(
        jsWeakSets,
        constructor: .jsWeakSetConstructor)

    public static let jsWeakSetConstructor = ObjectGroup(
        name: "WeakSetConstructor",
        constructorPath: "WeakSet",
        instanceType: .jsWeakSetConstructor,
        properties: [
            "prototype": jsWeakSetPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript WeakRef objects
    public static let jsWeakRefs = ObjectGroup(
        name: "WeakRef",
        instanceType: .jsWeakRef,
        properties: [:],
        methods: [
            "deref": [] => .object()
        ]
    )

    public static let jsWeakRefPrototype = createPrototypeObjectGroup(
        jsWeakRefs,
        constructor: .jsWeakRefConstructor)

    public static let jsWeakRefConstructor = ObjectGroup(
        name: "WeakRefConstructor",
        constructorPath: "WeakRef",
        instanceType: .jsWeakRefConstructor,
        properties: [
            "prototype": jsWeakRefPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript FinalizationRegistry objects
    public static let jsFinalizationRegistrys = ObjectGroup(
        name: "FinalizationRegistry",
        instanceType: .jsFinalizationRegistry,
        properties: [:],
        methods: [
            "register": [.object(), .jsAnything, .opt(.object())] => .undefined,
            "unregister": [.jsAnything] => .boolean,
        ]
    )

    public static let jsFinalizationRegistryPrototype = createPrototypeObjectGroup(
        jsFinalizationRegistrys,
        constructor: .jsFinalizationRegistryConstructor)

    public static let jsFinalizationRegistryConstructor = ObjectGroup(
        name: "FinalizationRegistryConstructor",
        constructorPath: "FinalizationRegistry",
        instanceType: .jsFinalizationRegistryConstructor,
        properties: [
            "prototype": jsFinalizationRegistryPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript DisposableStack objects
    public static let jsDisposableStacks = ObjectGroup(
        name: "DisposableStack",
        instanceType: .jsDisposableStack,
        properties: [
            "disposed": .boolean
        ],
        methods: [
            "dispose": [] => .undefined,
            "use": [.jsAnything] => .jsAnything,
            "adopt": [.jsAnything, .function()] => .jsAnything,
            "defer": [.function()] => .undefined,
            "move": [] => .jsDisposableStack,
        ]
    )

    public static let jsDisposableStackPrototype = createPrototypeObjectGroup(
        jsDisposableStacks,
        constructor: .jsDisposableStackConstructor)

    public static let jsDisposableStackConstructor = ObjectGroup(
        name: "DisposableStackConstructor",
        constructorPath: "DisposableStack",
        instanceType: .jsDisposableStackConstructor,
        properties: [
            "prototype": jsDisposableStackPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript AsyncDisposableStack objects
    public static let jsAsyncDisposableStacks = ObjectGroup(
        name: "AsyncDisposableStack",
        instanceType: .jsAsyncDisposableStack,
        properties: [
            "disposed": .boolean
        ],
        methods: [
            "disposeAsync": [] => .jsPromise(),
            "use": [.jsAnything] => .jsAnything,
            "adopt": [.jsAnything, .function()] => .jsAnything,
            "defer": [.function()] => .undefined,
            "move": [] => .jsAsyncDisposableStack,
        ]
    )

    public static let jsAsyncDisposableStackPrototype = createPrototypeObjectGroup(
        jsAsyncDisposableStacks,
        constructor: .jsAsyncDisposableStackConstructor)

    public static let jsAsyncDisposableStackConstructor = ObjectGroup(
        name: "AsyncDisposableStackConstructor",
        constructorPath: "AsyncDisposableStack",
        instanceType: .jsAsyncDisposableStackConstructor,
        properties: [
            "prototype": jsAsyncDisposableStackPrototype.instanceType
        ],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript ArrayBuffer objects
    public static let jsArrayBuffers = ObjectGroup(
        name: "ArrayBuffer",
        instanceType: .jsArrayBuffer,
        properties: [
            "byteLength": .integer,
            "maxByteLength": .integer,
            "resizable": .boolean,
        ],
        methods: [
            "resize": [.integer] => .undefined,
            "slice": [.opt(.integer), .opt(.integer)] => .jsArrayBuffer,
            "sliceToImmutable": [.opt(.integer), .opt(.integer)] => .jsArrayBuffer,
            "transfer": [.opt(.integer)] => .jsArrayBuffer,
            "transferToFixedLength": [.opt(.integer)] => .jsArrayBuffer,
            "transferToImmutable": [.opt(.integer)] => .jsArrayBuffer,
        ]
    )

    /// ObjectGroup modelling JavaScript SharedArrayBuffer objects
    public static let jsSharedArrayBuffers = ObjectGroup(
        name: "SharedArrayBuffer",
        instanceType: .jsSharedArrayBuffer,
        properties: [
            "byteLength": .integer,
            "maxByteLength": .integer,
            "growable": .boolean,
        ],
        methods: [
            "grow": [.number] => .undefined,
            "slice": [.integer, .opt(.integer)] => .jsSharedArrayBuffer,
        ]
    )

    /// ObjectGroup modelling JavaScript TypedArray objects
    public static func jsTypedArrays(_ variant: String) -> ObjectGroup {
        // Extra methods from the base64 proposal: https://tc39.es/proposal-arraybuffer-base64/
        let extraMethods: [String: Signature] =
            variant != "Uint8Array"
            ? [:]
            : [
                "toBase64": [.opt(OptionsBag.toBase64Settings.group.instanceType)] => .string,
                "toHex": [] => .string,
                "setFromBase64": [.string, .opt(OptionsBag.fromBase64Settings.group.instanceType)]
                    => .object(withProperties: ["read", "written"]),
                "setFromHex": [.string] => .object(withProperties: ["read", "written"]),
            ]
        return ObjectGroup(
            name: variant,
            instanceType: .jsTypedArray(variant),
            properties: [
                "BYTES_PER_ELEMENT": .integer,
                "buffer": .jsArrayBuffer,
                "byteLength": .integer,
                "byteOffset": .integer,
                "length": .integer,
            ],
            methods: [
                "at": [.integer] => .jsAnything,
                "copyWithin": [.integer, .integer, .opt(.integer)] => .jsTypedArray(variant),
                "entries": [] => .jsIterator,
                "every": [.function(), .opt(.object())] => .boolean,
                "fill": [.jsAnything, .opt(.integer), .opt(.integer)] => .jsTypedArray(variant),
                "find": [.function(), .opt(.object())] => .jsAnything,
                "findIndex": [.function(), .opt(.object())] => .integer,
                "findLast": [.function(), .opt(.object())] => .jsAnything,
                "findLastIndex": [.function(), .opt(.object())] => .integer,
                "forEach": [.function(), .opt(.object())] => .undefined,
                "includes": [.jsAnything, .opt(.integer)] => .boolean,
                "indexOf": [.jsAnything, .opt(.integer)] => .integer,
                "join": [.opt(.string)] => .jsString,
                "keys": [] => .jsIterator,
                "lastIndexOf": [.jsAnything, .opt(.integer)] => .integer,
                "reduce": [.function(), .opt(.jsAnything)] => .jsAnything,
                "reduceRight": [.function(), .opt(.jsAnything)] => .jsAnything,
                "reverse": [] => .jsTypedArray(variant),
                "set": [.object(), .opt(.integer)] => .undefined,
                "some": [.function(), .opt(.jsAnything)] => .boolean,
                "sort": [.opt(.function())] => .jsTypedArray(variant),
                "values": [] => .jsIterator,
                "filter": [.function(), .opt(.object())] => .jsTypedArray(variant),
                "map": [.function(), .opt(.object())] => .jsTypedArray(variant),
                "slice": [.opt(.integer), .opt(.integer)] => .jsTypedArray(variant),
                "subarray": [.opt(.integer), .opt(.integer)] => .jsTypedArray(variant),
                "toString": [] => .jsString,
                "toLocaleString": [.opt(.string), .opt(.object())] => .jsString,
                "toReversed": [] => .jsTypedArray(variant),
                "toSorted": [.opt(.function())] => .jsTypedArray(variant),
                "with": [.integer, .jsAnything] => .jsTypedArray(variant),
            ].merging(extraMethods) { _, _ in fatalError("duplicate method") }
        )
    }

    public static func jsTypedArrayPrototype(_ variant: String) -> ObjectGroup {
        return createPrototypeObjectGroup(
            jsTypedArrays(variant),
            constructor: .jsTypedArrayConstructor(variant),
            additionalProperties: [
                "BYTES_PER_ELEMENT": .integer
            ])
    }

    public static func jsTypedArrayConstructor(_ variant: String) -> ObjectGroup {
        let methods: [String: Signature] =
            variant == "Uint8Array"
            ? [
                "fromBase64": [
                    .plain(.string), .opt(OptionsBag.fromBase64Settings.group.instanceType),
                ] => .jsUint8Array,
                "fromHex": [.plain(.string)] => .jsUint8Array,
            ]
            : [:]
        return ObjectGroup(
            name: "\(variant)Constructor",
            constructorPath: variant,
            instanceType: .jsTypedArrayConstructor(variant),
            properties: [
                "prototype": jsTypedArrayPrototype(variant).instanceType,
                "BYTES_PER_ELEMENT": .integer,
            ],
            methods: methods
        )
    }

    /// ObjectGroup modelling JavaScript DataView objects
    public static let jsDataViews = ObjectGroup(
        name: "DataView",
        instanceType: .jsDataView,
        properties: [
            "buffer": .jsArrayBuffer,
            "byteLength": .integer,
            "byteOffset": .integer,
        ],
        methods: [
            "getInt8": [.integer] => .integer,
            "getUint8": [.integer] => .integer,
            "getInt16": [.integer, .opt(.boolean)] => .integer,
            "getUint16": [.integer, .opt(.boolean)] => .integer,
            "getInt32": [.integer, .opt(.boolean)] => .integer,
            "getUint32": [.integer, .opt(.boolean)] => .integer,
            "getFloat16": [.integer, .opt(.boolean)] => .float,
            "getFloat32": [.integer, .opt(.boolean)] => .float,
            "getFloat64": [.integer, .opt(.boolean)] => .float,
            "getBigInt64": [.integer, .opt(.boolean)] => .bigint,
            "getBigUint64": [.integer, .opt(.boolean)] => .bigint,
            "setInt8": [.integer, .integer] => .undefined,
            "setUint8": [.integer, .integer] => .undefined,
            "setInt16": [.integer, .integer, .opt(.boolean)] => .undefined,
            "setUint16": [.integer, .integer, .opt(.boolean)] => .undefined,
            "setInt32": [.integer, .integer, .opt(.boolean)] => .undefined,
            "setUint32": [.integer, .integer, .opt(.boolean)] => .undefined,
            "setFloat16": [.integer, .float, .opt(.boolean)] => .undefined,
            "setFloat32": [.integer, .float, .opt(.boolean)] => .undefined,
            "setFloat64": [.integer, .float, .opt(.boolean)] => .undefined,
            "setBigInt64": [.integer, .bigint, .opt(.boolean)] => .undefined,
            "setBigUint64": [.integer, .bigint, .opt(.boolean)] => .undefined,
        ]
    )

    public static let jsDataViewPrototype = createPrototypeObjectGroup(
        jsDataViews,
        constructor: .jsDataViewConstructor)

    public static let jsDataViewConstructor = ObjectGroup(
        name: "DataViewConstructor",
        constructorPath: "DataView",
        instanceType: .jsDataViewConstructor,
        properties: [
            "prototype": jsDataViewPrototype.instanceType
        ],
        methods: [:]
    )

    public static let jsPromisePrototype =
        createPrototypeObjectGroup(jsPromises, constructor: .jsPromiseConstructor)

    /// ObjectGroup modelling the JavaScript Promise constructor builtin
    public static let jsPromiseConstructor = ObjectGroup(
        name: "PromiseConstructor",
        constructorPath: "Promise",
        instanceType: .jsPromiseConstructor,
        properties: [
            "prototype": jsPromisePrototype.instanceType
        ],
        methods: [
            "resolve": [.jsAnything] => .jsPromise(),
            "reject": [.jsAnything] => .jsPromise(),
            "all": [.iterable] => .jsPromise(),
            "any": [.iterable] => .jsPromise(),
            "race": [.iterable] => .jsPromise(),
            "allSettled": [.iterable] => .jsPromise(),
            "try": [.function(), .jsAnything...] => .jsPromise(),
            "withResolvers": [] => .object(withProperties: ["promise", "resolve", "reject"]),
        ]
    )

    /// ObjectGroup modelling JavaScript Date objects
    public static let jsDate = ObjectGroup(
        name: "Date",
        instanceType: .jsDate,
        properties: [:],
        methods: [
            "toISOString": [] => .jsString,
            "toDateString": [] => .jsString,
            "toTimeString": [] => .jsString,
            "toLocaleString": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlDateTimeFormatSettings.group.instanceType),
            ] => .jsString,
            "toLocaleDateString": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlDateTimeFormatSettings.group.instanceType),
            ] => .jsString,
            "toLocaleTimeString": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlDateTimeFormatSettings.group.instanceType),
            ] => .jsString,
            "getTime": [] => .number,
            "getFullYear": [] => .number,
            "getUTCFullYear": [] => .number,
            "getMonth": [] => .number,
            "getUTCMonth": [] => .number,
            "getDate": [] => .number,
            "getUTCDate": [] => .number,
            "getDay": [] => .number,
            "getUTCDay": [] => .number,
            "getHours": [] => .number,
            "getUTCHours": [] => .number,
            "getMinutes": [] => .number,
            "getUTCMinutes": [] => .number,
            "getSeconds": [] => .number,
            "getUTCSeconds": [] => .number,
            "getMilliseconds": [] => .number,
            "getUTCMilliseconds": [] => .number,
            "getTimezoneOffset": [] => .number,
            "getYear": [] => .number,
            "setTime": [.number] => .number,
            "setMilliseconds": [.number] => .number,
            "setUTCMilliseconds": [.number] => .number,
            "setSeconds": [.number, .opt(.number)] => .number,
            "setUTCSeconds": [.number, .opt(.number)] => .number,
            "setMinutes": [.number, .opt(.number), .opt(.number)] => .number,
            "setUTCMinutes": [.number, .opt(.number), .opt(.number)] => .number,
            "setHours": [.number, .opt(.number), .opt(.number), .opt(.number)] => .number,
            "setUTCHours": [.number, .opt(.number), .opt(.number), .opt(.number)] => .number,
            "setDate": [.number] => .number,
            "setUTCDate": [.number] => .number,
            "setMonth": [.number, .opt(.number)] => .number,
            "setUTCMonth": [.number, .opt(.number)] => .number,
            "setFullYear": [.number, .opt(.number), .opt(.number)] => .number,
            "setUTCFullYear": [.number, .opt(.number), .opt(.number)] => .number,
            "setYear": [.number] => .number,
            "toJSON": [] => .jsString,
            "toUTCString": [] => .jsString,
            "toGMTString": [] => .jsString,
            "toTemporalInstant": [] => .jsTemporalInstant,
        ]
    )

    public static let jsDatePrototype = createPrototypeObjectGroup(
        jsDate, constructor: .jsDateConstructor)

    /// ObjectGroup modelling the JavaScript Date constructor
    public static let jsDateConstructor = ObjectGroup(
        name: "DateConstructor",
        constructorPath: "Date",
        instanceType: .jsDateConstructor,
        properties: [
            "prototype": jsDatePrototype.instanceType
        ],
        methods: [
            "UTC": [
                .number, .opt(.number), .opt(.number), .opt(.number), .opt(.number), .opt(.number),
                .opt(.number),
            ] => .number,
            "now": [] => .number,
            "parse": [.string] => .number,
        ]
    )

    /// ObjectGroup modelling the JavaScript Object constructor builtin
    public static let jsObjectConstructor = ObjectGroup(
        name: "ObjectConstructor",
        constructorPath: "Object",
        instanceType: .jsObjectConstructor,
        properties: [
            "prototype": .object()  // TODO
        ],
        methods: [
            "assign": [.object(), .object()] => .object(),
            "create": [.object(), .opt(.object())] => .object(),
            "defineProperty": [
                .object(), .string,
                .oneof(
                    .object(withProperties: ["configurable", "writable", "enumerable", "value"]),
                    .object(withMethods: ["get", "set"])),
            ] => .object(),
            "defineProperties": [.object(), .object()] => .object(),
            "entries": [.object()] => .jsArray,
            "freeze": [.object()] => .object(),
            "fromEntries": [.object()] => .object(),
            "getOwnPropertyDescriptor": [.object(), .string]
                => .object(withProperties: ["configurable", "writable", "enumerable", "value"]),
            "getOwnPropertyDescriptors": [.object()] => .object(),
            "getOwnPropertyNames": [.object()] => .jsArray,
            "getOwnPropertySymbols": [.object()] => .jsArray,
            "getPrototypeOf": [.object()] => .object(),
            "is": [.object(), .object()] => .boolean,
            "isExtensible": [.object()] => .boolean,
            "isFrozen": [.object()] => .boolean,
            "isSealed": [.object()] => .boolean,
            "keys": [.object()] => .jsArray,
            "preventExtensions": [.object()] => .object(),
            "seal": [.object()] => .object(),
            "setPrototypeOf": [.object(), .object()] => .object(),
            "values": [.object()] => .jsArray,
            "groupBy": [.iterable, .function()] => .object(),
            "hasOwn": [.object(), .oneof(.jsString, .jsSymbol)] => .boolean,
        ]
    )

    /// ObjectGroup modelling the JavaScript Array constructor builtin
    public static let jsArrayConstructor = ObjectGroup(
        name: "ArrayConstructor",
        constructorPath: "Array",
        instanceType: .jsArrayConstructor,
        properties: [
            // This might seem wrong, note however that `Array.isArray(Array.prototype)` is true.
            "prototype": .jsArray
        ],
        methods: [
            "from": [.jsAnything, .opt(.function()), .opt(.object())] => .jsArray,
            "fromAsync": [.jsAnything, .opt(.function()), .opt(.object())]
                => .jsPromise(resolvingTo: .jsArray),
            "isArray": [.jsAnything] => .boolean,
            "of": [.jsAnything...] => .jsArray,
        ]
    )

    public static let jsArrayBufferPrototype =
        createPrototypeObjectGroup(jsArrayBuffers, constructor: .jsArrayBufferConstructor)

    public static let jsArrayBufferConstructor = ObjectGroup(
        name: "ArrayBufferConstructor",
        constructorPath: "ArrayBuffer",
        instanceType: .jsArrayBufferConstructor,
        properties: [
            "prototype": jsArrayBufferPrototype.instanceType
        ],
        methods: [
            "isView": [.jsAnything] => .boolean
        ]
    )

    public static let jsSharedArrayBufferPrototype =
        createPrototypeObjectGroup(
            jsSharedArrayBuffers, constructor: .jsSharedArrayBufferConstructor)

    public static let jsSharedArrayBufferConstructor = ObjectGroup(
        name: "SharedArrayBufferConstructor",
        constructorPath: "SharedArrayBuffer",
        instanceType: .jsSharedArrayBufferConstructor,
        properties: [
            "prototype": jsSharedArrayBufferPrototype.instanceType
        ],
        methods: [:]
    )

    public static let jsStringPrototype =
        createPrototypeObjectGroup(jsStrings, constructor: .jsStringConstructor)

    /// Object group modelling the JavaScript String constructor builtin
    public static let jsStringConstructor = ObjectGroup(
        name: "StringConstructor",
        constructorPath: "String",
        instanceType: .jsStringConstructor,
        properties: [
            "prototype": jsStringPrototype.instanceType
        ],
        methods: [
            "fromCharCode": [.jsAnything...] => .jsString,
            "fromCodePoint": [.jsAnything...] => .jsString,
            "raw": [.jsAnything...] => .jsString,
        ]
    )

    /// Object group modelling the JavaScript Symbol constructor builtin
    public static let jsSymbolConstructor = ObjectGroup(
        name: "SymbolConstructor",
        instanceType: .jsSymbolConstructor,
        properties: [
            "iterator": .jsSymbol(ofGroup: "Symbol.iterator"),
            "asyncIterator": .jsSymbol(ofGroup: "Symbol.asyncIterator"),
            "match": .jsSymbol,
            "matchAll": .jsSymbol,
            "replace": .jsSymbol,
            "search": .jsSymbol,
            "split": .jsSymbol,
            "hasInstance": .jsSymbol,
            "isConcatSpreadable": .jsSymbol,
            "unscopables": .jsSymbol,
            "species": .jsSymbol,
            "toPrimitive": .jsSymbol,
            "toStringTag": .jsSymbol,
            "dispose": .jsSymbol(ofGroup: "Symbol.dispose"),
            "asyncDispose": .jsSymbol(ofGroup: "Symbol.asyncDispose"),
        ],
        methods: [
            "for": [.string] => .jsSymbol,
            "keyFor": [.object(ofGroup: "Symbol")] => .jsString,
        ]
    )

    /// Object group modelling the JavaScript BigInt constructor builtin
    public static let jsBigIntConstructor = ObjectGroup(
        name: "BigIntConstructor",
        instanceType: .jsBigIntConstructor,
        properties: [
            "prototype": .object()
        ],
        methods: [
            "asIntN": [.number, .bigint] => .bigint,
            "asUintN": [.number, .bigint] => .bigint,
        ]
    )

    public static let jsRegExpPrototype = createPrototypeObjectGroup(
        jsRegExps, constructor: .jsRegExpConstructor)

    /// Object group modelling the JavaScript RegExp constructor builtin
    public static let jsRegExpConstructor = ObjectGroup(
        name: "RegExpConstructor",
        constructorPath: "RegExp",
        instanceType: .jsRegExpConstructor,
        properties: [
            "prototype": jsRegExpPrototype.instanceType,
            "$1": .jsString,
            "$2": .jsString,
            "$3": .jsString,
            "$4": .jsString,
            "$5": .jsString,
            "$6": .jsString,
            "$7": .jsString,
            "$8": .jsString,
            "$9": .jsString,
            "$_": .jsString,
            "input": .jsString,
            "lastMatch": .jsString,
            "lastParen": .jsString,
            "leftContext": .jsString,
        ],
        methods: [
            "escape": [.string] => .jsString
        ]
    )

    /// Object group modelling the JavaScript Boolean constructor builtin
    public static let jsBooleanConstructor = ObjectGroup(
        name: "BooleanConstructor",
        constructorPath: "Boolean",
        instanceType: .jsBooleanConstructor,
        properties: [
            "prototype": .object()
        ],
        methods: [:]
    )

    /// Object group modelling the JavaScript Number constructor builtin
    public static let jsNumberConstructor = ObjectGroup(
        name: "NumberConstructor",
        constructorPath: "Number",
        instanceType: .jsNumberConstructor,
        properties: [
            "prototype": .object(),
            // TODO: should there be a .jsNumber type?
            "EPSILON": .number,
            "MAX_SAFE_INTEGER": .number,
            "MAX_VALUE": .number,
            "MIN_SAFE_INTEGER": .number,
            "MIN_VALUE": .number,
            "NaN": .number,
            "NEGATIVE_INFINITY": .number,
            "POSITIVE_INFINITY": .number,
        ],
        methods: [
            "isNaN": [.jsAnything] => .boolean,
            "isFinite": [.jsAnything] => .boolean,
            "isInteger": [.jsAnything] => .boolean,
            "isSafeInteger": [.jsAnything] => .boolean,
            "parseFloat": [.string] => .float,
            "parseInt": [.string] => .integer,
        ]
    )

    /// Object group modelling the JavaScript Math builtin
    public static let jsMathObject = ObjectGroup(
        name: "Math",
        instanceType: .jsMathObject,
        properties: [
            "E": .number,
            "PI": .number,
            "LN10": .number,
            "LN2": .number,
            "LOG10E": .number,
            "LOG2E": .number,
            "SQRT1_2": .number,
            "SQRT2": .number,
        ],
        methods: [
            "abs": [.jsAnything] => .number,
            "acos": [.jsAnything] => .number,
            "acosh": [.jsAnything] => .number,
            "asin": [.jsAnything] => .number,
            "asinh": [.jsAnything] => .number,
            "atan": [.jsAnything] => .number,
            "atanh": [.jsAnything] => .number,
            "atan2": [.jsAnything, .jsAnything] => .number,
            "cbrt": [.jsAnything] => .number,
            "ceil": [.jsAnything] => .number,
            "clz32": [.jsAnything] => .number,
            "cos": [.jsAnything] => .number,
            "cosh": [.jsAnything] => .number,
            "exp": [.jsAnything] => .number,
            "expm1": [.jsAnything] => .number,
            "floor": [.jsAnything] => .number,
            "fround": [.jsAnything] => .number,
            "f16round": [.jsAnything] => .number,
            "hypot": [.jsAnything...] => .number,
            "imul": [.jsAnything, .jsAnything] => .integer,
            "log": [.jsAnything] => .number,
            "log1p": [.jsAnything] => .number,
            "log10": [.jsAnything] => .number,
            "log2": [.jsAnything] => .number,
            "max": [.jsAnything...] => .number,
            "min": [.jsAnything...] => .number,
            "pow": [.jsAnything, .jsAnything] => .number,
            "random": [] => .number,
            "round": [.jsAnything] => .number,
            "sign": [.jsAnything] => .number,
            "sin": [.jsAnything] => .number,
            "sinh": [.jsAnything] => .number,
            "sqrt": [.jsAnything] => .number,
            "sumPrecise": [.iterable] => .number,
            "tan": [.jsAnything] => .number,
            "tanh": [.jsAnything] => .number,
            "trunc": [.jsAnything] => .number,
        ]
    )

    /// Object group modelling the JavaScript Atomics builtin
    /// Note that the typing here is not perfect: .someTypedArray doesn't have precise type
    /// information. The parameters and results typed as .jsAnything are either .number or .bigint
    /// depending on the type of the TypedArray that is passed as the first argument.
    public static let jsAtomicsObject = ObjectGroup(
        name: "Atomics",
        instanceType: .jsAtomicsObject,
        properties: [:],
        methods: [
            "add": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
            "and": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
            "compareExchange": [.plain(.someTypedArray), .integer, .jsAnything, .jsAnything]
                => .jsAnything,
            "exchange": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
            "isLockFree": [.integer] => .boolean,
            "load": [.plain(.someTypedArray), .integer] => .jsAnything,
            "notify": [
                .oneof(.jsTypedArray("Int32Array"), .jsTypedArray("BigInt64Array")), .integer,
                .opt(.integer),
            ] => .integer,
            "or": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
            "pause": [.opt(.integer)] => .undefined,
            "store": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
            "sub": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
            "wait": [
                .oneof(.jsTypedArray("Int32Array"), .jsTypedArray("BigInt64Array")),
                .integer, .jsAnything, .opt(.number),
            ] => .string,
            "waitAsync": [
                .oneof(.jsTypedArray("Int32Array"), .jsTypedArray("BigInt64Array")),
                .integer, .jsAnything, .opt(.number),
            ] => .object(withProperties: ["async", "value"]),
            "xor": [.plain(.someTypedArray), .integer, .jsAnything] => .jsAnything,
        ]
    )

    /// ObjectGroup modelling the JavaScript JSON builtin
    public static let jsJSONObject = ObjectGroup(
        name: "JSON",
        instanceType: .jsJSONObject,
        properties: [:],
        methods: [
            "parse": [.string, .opt(.function())] => .jsAnything,
            "stringify": [.jsAnything, .opt(.function()), .opt(.number | .string)] => .jsString,
            "rawJSON": [.plain(.string | .number | .boolean)] => .jsAnything,
            "isRawJSON": [.jsAnything] => .boolean,
        ]
    )

    /// ObjectGroup modelling the JavaScript Reflect builtin
    public static let jsReflectObject = ObjectGroup(
        name: "Reflect",
        instanceType: .jsReflectObject,
        properties: [:],
        methods: [
            "apply": [.function(), .jsAnything, .object()] => .jsAnything,
            "construct": [.constructor(), .object(), .opt(.object())] => .jsAnything,
            "defineProperty": [.object(), .string, .object()] => .boolean,
            "deleteProperty": [.object(), .string] => .boolean,
            "get": [.object(), .string, .opt(.object())] => .jsAnything,
            "getOwnPropertyDescriptor": [.object(), .string] => .jsAnything,
            "getPrototypeOf": [.object()] => .jsAnything,
            "has": [.object(), .string] => .boolean,
            "isExtensible": [.object()] => .boolean,
            "ownKeys": [.object()] => .jsArray,
            "preventExtensions": [.object()] => .boolean,
            "set": [.object(), .string, .jsAnything, .opt(.object())] => .boolean,
            "setPrototypeOf": [.object(), .object()] => .boolean,
        ]
    )

    /// ObjectGroup modelling JavaScript Error objects
    public static func jsError(_ variant: String) -> ObjectGroup {
        return ObjectGroup(
            name: variant,
            instanceType: .jsError(variant),
            properties: [
                "message": .jsString,
                "name": .jsString,
                "cause": .jsAnything,
                "stack": .jsString,
            ],
            methods: [
                "toString": [] => .jsString
            ]
        )
    }

    public static func jsErrorPrototype(_ variant: String) -> ObjectGroup {
        return createPrototypeObjectGroup(
            jsError(variant),
            constructor: .jsErrorConstructor(variant),
            additionalProperties: [
                "message": .jsString,
                "name": .jsString,
            ])
    }

    public static func jsErrorConstructor(_ variant: String) -> ObjectGroup {
        return ObjectGroup(
            name: "\(variant)Constructor",
            constructorPath: variant,
            instanceType: .jsErrorConstructor(variant),
            properties: [
                "name": .jsString,
                "prototype": jsErrorPrototype(variant).instanceType,
                "stackTraceLimit": .integer,
            ],
            methods: [
                "isError": [.jsAnything] => .boolean,
                "captureStackTrace": [.object(), .opt(.function())] => .undefined,
            ]
        )
    }

    // TODO(mliedtke): We need to construct these to make code generators be able to provide
    // somewhat reasonable compile options.
    public static let jsWebAssemblyCompileOptions = ObjectGroup(
        name: "WebAssemblyCompileOptions",
        instanceType: nil,
        properties: [
            "builtins": .jsArray,
            "importedStringConstants": .jsString,
        ],
        methods: [:]
    )

    // Note: This supports all typed arrays, however, that would add a huge amount of overloads, so
    // we only add a few selected typed arrays here.
    public static let wasmBufferTypes = [
        ILType.jsArrayBuffer, .jsSharedArrayBuffer, .jsTypedArray("Int8Array"),
        .jsTypedArray("Float32Array"), .jsTypedArray("BigUint64Array"),
    ]

    public static let jsWebAssemblyModule = ObjectGroup(
        name: "WebAssembly.Module",
        instanceType: .jsWebAssemblyModule,
        properties: [:],
        methods: [:]
    )

    public static let jsWebAssemblyModuleConstructor = ObjectGroup(
        name: "WebAssemblyModuleConstructor",
        constructorPath: "WebAssembly.Module",
        instanceType: .jsWebAssemblyModuleConstructor,
        properties: [
            "prototype": .object()
        ],
        methods: [
            "customSections": [.plain(jsWebAssemblyModule.instanceType), .plain(.jsString)]
                => .jsArray,
            "exports": [.plain(jsWebAssemblyModule.instanceType)] => .jsArray,
            "imports": [.plain(jsWebAssemblyModule.instanceType)] => .jsArray,
        ]
    )

    public static let jsWebAssemblyGlobalPrototype =
        createPrototypeObjectGroup(jsWasmGlobal, constructor: .jsWebAssemblyGlobalConstructor)

    public static let jsWebAssemblyGlobalConstructor = ObjectGroup(
        name: "WebAssemblyGlobalConstructor",
        constructorPath: "WebAssembly.Global",
        instanceType: .jsWebAssemblyGlobalConstructor,
        properties: [
            "prototype": jsWebAssemblyGlobalPrototype.instanceType
        ],
        methods: [:]
    )

    public static let jsWebAssemblyInstanceConstructor = ObjectGroup(
        name: "WebAssemblyInstanceConstructor",
        constructorPath: "WebAssembly.Instance",
        instanceType: .jsWebAssemblyInstanceConstructor,
        properties: [
            "prototype": .object()
        ],
        methods: [:]
    )

    public static let jsWebAssemblyInstance = ObjectGroup(
        name: "WebAssembly.Instance",
        instanceType: .jsWebAssemblyInstance,
        properties: [
            "exports": .object()
        ],
        methods: [:]
    )

    public static let jsWebAssemblyMemoryPrototype =
        createPrototypeObjectGroup(jsWasmMemory, constructor: .jsWebAssemblyMemoryConstructor)

    public static let jsWebAssemblyMemoryConstructor = ObjectGroup(
        name: "WebAssemblyMemoryConstructor",
        constructorPath: "WebAssembly.Memory",
        instanceType: .jsWebAssemblyMemoryConstructor,
        properties: [
            "prototype": jsWebAssemblyMemoryPrototype.instanceType
        ],
        methods: [:]
    )

    public static let jsWebAssemblyTablePrototype =
        createPrototypeObjectGroup(wasmTable, constructor: .jsWebAssemblyTableConstructor)

    public static let jsWebAssemblyTableConstructor = ObjectGroup(
        name: "WebAssemblyTableConstructor",
        constructorPath: "WebAssembly.Table",
        instanceType: .jsWebAssemblyTableConstructor,
        properties: [
            "prototype": jsWebAssemblyTablePrototype.instanceType
        ],
        methods: [:]
    )

    public static let jsWebAssemblyTagPrototype =
        createPrototypeObjectGroup(jsWasmTag, constructor: .jsWebAssemblyTagConstructor)

    public static let jsWebAssemblyTagConstructor = ObjectGroup(
        name: "WebAssemblyTagConstructor",
        constructorPath: "WebAssembly.Tag",
        instanceType: .jsWebAssemblyTagConstructor,
        properties: [
            "prototype": jsWebAssemblyTagPrototype.instanceType
        ],
        methods: [:]
    )

    public static let jsWebAssemblyException = ObjectGroup(
        name: "WebAssembly.Exception",
        instanceType: nil,
        properties: [
            "stack": .string | .undefined
        ],
        methods: [
            "getArg": [.plain(jsWasmTag.instanceType), .plain(.integer)] => .jsAnything,
            "is": [.plain(jsWasmTag.instanceType)] => .boolean,
        ]
    )

    public static let jsWebAssemblyExceptionPrototype = createPrototypeObjectGroup(
        jsWebAssemblyException,
        constructor: .jsWebAssemblyExceptionConstructor)

    public static let jsWebAssemblyExceptionConstructor = ObjectGroup(
        name: "WebAssemblyExceptionConstructor",
        constructorPath: "WebAssembly.Exception",
        instanceType: .jsWebAssemblyExceptionConstructor,
        properties: [
            "prototype": jsWebAssemblyExceptionPrototype.instanceType
        ],
        methods: [:]
    )

    // WebAssembly.CompileError, .LinkError, .RuntimeError don't offer anything interesting but a
    // constructor.
    fileprivate static let jsWebAssemblyError = ObjectGroup(
        name: "WebAssemblyError",
        instanceType: nil,
        properties: [
            "message": .jsString,
            "name": .jsString,
        ],
        methods: [:]
    )

    fileprivate static let webAssemblyErrorConstructorType =
        ILType.constructor(
            [.opt(.string), .opt(.object() | .string), .opt(.string)]
                => jsWebAssemblyError.instanceType)
        + .object(ofGroup: "WebAssemblyErrorConstructor", withProperties: ["prototype"])

    fileprivate static let jsWebAssemblyErrorPrototype = createPrototypeObjectGroup(
        jsWebAssemblyError,
        constructor: webAssemblyErrorConstructorType,
        additionalProperties: [
            "message": .jsString,
            "name": .jsString,
        ]
    )

    fileprivate static let jsWebAssemblyErrorConstructor = ObjectGroup(
        name: "WebAssemblyErrorConstructor",
        instanceType: webAssemblyErrorConstructorType,
        properties: [
            "prototype": jsWebAssemblyErrorPrototype.instanceType
        ],
        methods: [:]
    )

    fileprivate static let webAssemblySuspendingConstructorType = ILType.constructor(
        [.plain(.function())] => .object())

    public static let jsWebAssembly = ObjectGroup(
        name: "WebAssembly",
        instanceType: nil,
        properties: [
            "JSTag": .object(
                ofGroup: "WasmTag", withWasmType: WasmTagType([.wasmExternRef()], isJSTag: true)),
            "Module": .jsWebAssemblyModuleConstructor,
            "Global": .jsWebAssemblyGlobalConstructor,
            "Instance": .jsWebAssemblyInstanceConstructor,
            "Memory": .jsWebAssemblyMemoryConstructor,
            "Table": .jsWebAssemblyTableConstructor,
            "Tag": .jsWebAssemblyTagConstructor,
            "Exception": .jsWebAssemblyExceptionConstructor,
            "CompileError": webAssemblyErrorConstructorType,
            "LinkError": webAssemblyErrorConstructorType,
            "RuntimeError": webAssemblyErrorConstructorType,
            "SuspendError": webAssemblyErrorConstructorType,
            "Suspending": webAssemblySuspendingConstructorType,
        ],
        overloads: [
            "compile": wasmBufferTypes.map {
                [.plain($0), .opt(jsWebAssemblyCompileOptions.instanceType)]
                    => .jsPromise(resolvingTo: .jsWebAssemblyModule)
            },
            // TODO: The first parameter should be a Response which Fuzzilli doesn't know as it is
            // mostly used by WebAPIs like fetch().
            "compileStreaming": [
                [.object(), .opt(jsWebAssemblyCompileOptions.instanceType)]
                    => .jsPromise(resolvingTo: .jsWebAssemblyModule)
            ],
            "instantiate": wasmBufferTypes.map {
                [
                    .plain($0), /*imports*/ .opt(.object()),
                    .opt(jsWebAssemblyCompileOptions.instanceType),
                ] => .jsPromise()
            },
            // TODO: Same as compileStreaming(), the first parameter has to be a Response.
            "instantiateStreaming": [
                [
                    .object(), /*imports*/ .opt(.object()),
                    .opt(jsWebAssemblyCompileOptions.instanceType),
                ] => .jsPromise(resolvingTo: .object(withProperties: ["module", "instance"]))
            ],
            "validate": wasmBufferTypes.map {
                [.plain($0), .opt(jsWebAssemblyCompileOptions.instanceType)]
                    => .boolean
            },
            // The argument needs to be an exported Wasm function. Fuzzilli's type system does not
            // distinguish between Wasm and JS functions, so we can't express this precisely.
            "promising": [[.function()] => .function()],
        ]
    )

    /// ObjectGroup modelling JavaScript WebAssembly Global objects.
    public static let jsWasmGlobal = ObjectGroup(
        name: "WasmGlobal",
        instanceType: nil,
        properties: [
            // TODO: Try using precise JS types based on the global's underlying valuetype (e.g. float for f32 and f64).
            "value": .jsAnything
        ],
        methods: ["valueOf": [] => .jsAnything]
    )

    /// ObjectGroup modelling JavaScript WebAssembly Memory objects.
    public static let jsWasmMemory = ObjectGroup(
        name: "WasmMemory",
        instanceType: .object(
            ofGroup: "WasmMemory", withProperties: ["buffer"],
            withMethods: ["grow", "toResizableBuffer", "toFixedLengthBuffer"]),
        properties: [
            "buffer": .jsArrayBuffer | .jsSharedArrayBuffer
        ],
        methods: [
            "grow": [.plain(.number | .bigint)] => (.number | .bigint),
            "toResizableBuffer": [] => (.jsArrayBuffer | .jsSharedArrayBuffer),
            "toFixedLengthBuffer": [] => (.jsArrayBuffer | .jsSharedArrayBuffer),
        ]
    )

    // TOOD(mliedtke): Reconsider whether WebAssembly.Tag and WebAssembly.JSTag should share the
    // same object group. When split, we can register the type() prototype method.
    public static let jsWasmTag = ObjectGroup(
        name: "WasmTag",
        instanceType: nil,  // inferred
        properties: [:],
        methods: [:]
    )

    /// ObjectGroup modelling JavaScript WebAssembly Table objects
    public static let wasmTable = ObjectGroup(
        name: "WasmTable",
        instanceType: .wasmTable,
        properties: [
            "length": .number
        ],
        methods: [
            "get": [.number] => .jsAnything,
            "grow": [.number, .opt(.jsAnything)] => .number,
            "set": [.number, .jsAnything] => .undefined,
        ]
    )

    public static let jsWasmSuspendingObject = ObjectGroup(
        name: "WasmSuspendingObject",
        instanceType: .object(ofGroup: "WasmSuspendingObject"),
        properties: [:],
        methods: [:]
    )

    // Temporal types

    // Helpers for constructing common signatures
    private static func temporalAddSubtractSignature(forType: ILType, needsOverflow: Bool)
        -> [Signature]
    {
        if needsOverflow {
            return jsTemporalDurationLikeParameters.map {
                [.plain($0), .opt(jsTemporalOverflowSettings)] => forType
            }
        } else {
            return jsTemporalDurationLikeParameters.map { [.plain($0)] => forType }
        }
    }
    private static func temporalUntilSinceSignature(possibleParams: [ILType]) -> [Signature] {
        return possibleParams.map {
            [.plain($0), .opt(jsTemporalDifferenceSettings)] => .jsTemporalDuration
        }
    }
    private static func temporalFromSignature(
        forType: ILType, possibleParams: [ILType], settingsArg: ILType? = nil
    ) -> [Signature] {
        if let settingsArg {
            return possibleParams.map { [.plain($0), .opt(settingsArg)] => forType }
        } else {
            return possibleParams.map { [.plain($0)] => forType }
        }
    }
    private static func temporalCompareSignature(
        possibleParams: [ILType], settingsArg: ILType? = nil
    ) -> [Signature] {
        possibleParams.flatMap { param1 in
            return possibleParams.map { param2 in
                if let settingsArg {
                    return [.plain(param1), .plain(param2), .opt(settingsArg)] => .number
                } else {
                    return [.plain(param1), .plain(param2)] => .number
                }
            }
        }
    }

    private static func temporalEqualsSignature(possibleParams: [ILType]) -> [Signature] {
        return possibleParams.map { [.plain($0)] => .boolean }
    }

    private static func temporalTimeZoneLikeSignature(signature: (ILType) -> Signature)
        -> [Signature]
    {
        return [
            signature(jsTemporalTimeZoneLike),
            signature(.jsTemporalZonedDateTime),
        ]
    }

    /// Object group modelling the JavaScript Temporal builtin
    public static let jsTemporalObject = ObjectGroup(
        name: "Temporal",
        instanceType: .jsTemporalObject,
        properties: [
            "Instant": .jsTemporalInstantConstructor,
            "Duration": .jsTemporalDurationConstructor,
            "PlainTime": .jsTemporalPlainTimeConstructor,
            "PlainYearMonth": .jsTemporalPlainYearMonthConstructor,
            "PlainMonthDay": .jsTemporalPlainMonthDayConstructor,
            "PlainDate": .jsTemporalPlainDateConstructor,
            "PlainDateTime": .jsTemporalPlainDateTimeConstructor,
            "ZonedDateTime": .jsTemporalZonedDateTimeConstructor,
            "Now": .jsTemporalNow,
        ],
        methods: [:]
    )

    public static let jsTemporalNow = ObjectGroup(
        name: "Temporal.Now",
        instanceType: .jsTemporalNow,
        properties: [:],
        overloads: [
            "timeZoneId": [[] => .string],
            "instant": [[] => .jsTemporalInstant],
            "plainDateTimeISO": temporalTimeZoneLikeSignature {
                [.opt($0)] => .jsTemporalPlainDateTime
            },
            "zonedDateTimeISO": temporalTimeZoneLikeSignature {
                [.opt($0)] => .jsTemporalZonedDateTime
            },
            "plainDateISO": temporalTimeZoneLikeSignature { [.opt($0)] => .jsTemporalPlainDate },
            "plainTimeISO": temporalTimeZoneLikeSignature { [.opt($0)] => .jsTemporalPlainTime },
        ]
    )

    /// ObjectGroup modelling JavaScript Temporal.Instant objects
    public static let jsTemporalInstant = ObjectGroup(
        name: "Temporal.Instant",
        instanceType: .jsTemporalInstant,
        properties: [
            "epochMilliseconds": .number,
            "epochNanoseconds": .bigint,
        ],
        overloads: [
            "add": temporalAddSubtractSignature(forType: .jsTemporalInstant, needsOverflow: false),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalInstant, needsOverflow: false),
            "until": temporalUntilSinceSignature(possibleParams: jsTemporalInstantLikeParameters),
            "since": temporalUntilSinceSignature(possibleParams: jsTemporalInstantLikeParameters),
            "round": [[.plain(jsTemporalRoundTo)] => .jsTemporalInstant],
            "equals": temporalEqualsSignature(possibleParams: jsTemporalInstantLikeParameters),
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
            "toZonedDateTimeISO": temporalTimeZoneLikeSignature {
                [.plain($0)] => .jsTemporalZonedDateTime
            },
        ]
    )

    public static let jsTemporalInstantPrototype =
        createPrototypeObjectGroup(jsTemporalInstant, constructor: .jsTemporalInstantConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.Instant constructor
    public static let jsTemporalInstantConstructor = ObjectGroup(
        name: "TemporalInstantConstructor",
        constructorPath: "Temporal.Instant",
        instanceType: .jsTemporalInstantConstructor,
        properties: [
            "prototype": jsTemporalInstantPrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalInstant, possibleParams: jsTemporalInstantLikeParameters),
            "fromEpochMilliseconds": [[.number] => .jsTemporalInstant],
            "fromEpochNanoseconds": [[.bigint] => .jsTemporalInstant],
            "compare": temporalCompareSignature(possibleParams: jsTemporalInstantLikeParameters),
        ]
    )
    /// ObjectGroup modelling JavaScript Temporal.Duration objects
    public static let jsTemporalDuration = ObjectGroup(
        name: "Temporal.Duration",
        instanceType: .jsTemporalDuration,
        properties: [
            "years": .number,
            "months": .number,
            "weeks": .number,
            "days": .number,
            "hours": .number,
            "minutes": .number,
            "seconds": .number,
            "milliseconds": .number,
            "microseconds": .number,
            "nanoseconds": .number,
            "sign": .number,
            "blank": .boolean,
        ],
        overloads: [
            "with": [[.plain(jsTemporalDurationLikeObject.instanceType)] => .jsTemporalDuration],
            "negated": [[] => .jsTemporalDuration],
            "abs": [[] => .jsTemporalDuration],
            "add": temporalAddSubtractSignature(forType: .jsTemporalDuration, needsOverflow: false),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalDuration, needsOverflow: false),
            "round": [[.plain(jsTemporalDurationRoundToSettings)] => .jsTemporalDuration],
            "total": [[.plain(jsTemporalDurationTotalOfSettings)] => .number],
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
        ]
    )

    public static let jsTemporalDurationPrototype =
        createPrototypeObjectGroup(jsTemporalDuration, constructor: .jsTemporalDurationConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.Duration constructor
    public static let jsTemporalDurationConstructor = ObjectGroup(
        name: "TemporalDurationConstructor",
        constructorPath: "Temporal.Duration",
        instanceType: .jsTemporalDurationConstructor,
        properties: [
            "prototype": jsTemporalDurationPrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalDuration, possibleParams: jsTemporalDurationLikeParameters),
            "compare": temporalCompareSignature(
                possibleParams: jsTemporalDurationLikeParameters,
                settingsArg: jsTemporalDurationCompareSettings),
        ]
    )

    public static let jsTemporalPlainTime = ObjectGroup(
        name: "Temporal.PlainTime",
        instanceType: .jsTemporalPlainTime,
        properties: [
            "hour": .number,
            "minute": .number,
            "second": .number,
            "millisecond": .number,
            "microsecond": .number,
            "nanosecond": .number,
        ],
        overloads: [
            "add": temporalAddSubtractSignature(
                forType: .jsTemporalPlainTime, needsOverflow: false),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalPlainTime, needsOverflow: false),
            "with": [
                [
                    .plain(jsTemporalPlainTimeLikeObject.instanceType),
                    .opt(jsTemporalOverflowSettings),
                ] => .jsTemporalPlainTime
            ],
            "until": temporalUntilSinceSignature(possibleParams: jsTemporalPlainTimeLikeParameters),
            "since": temporalUntilSinceSignature(possibleParams: jsTemporalPlainTimeLikeParameters),
            "round": [[.plain(jsTemporalRoundTo)] => .jsTemporalPlainTime],
            "equals": temporalEqualsSignature(possibleParams: jsTemporalPlainTimeLikeParameters),
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
        ]
    )

    public static let jsTemporalPlainTimePrototype =
        createPrototypeObjectGroup(
            jsTemporalPlainTime, constructor: .jsTemporalPlainTimeConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.PlainTime constructor
    public static let jsTemporalPlainTimeConstructor = ObjectGroup(
        name: "TemporalPlainTimeConstructor",
        constructorPath: "Temporal.PlainTime",
        instanceType: .jsTemporalPlainTimeConstructor,
        properties: [
            "prototype": jsTemporalPlainTimePrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalPlainTime,
                possibleParams: jsTemporalPlainTimeLikeParameters,
                settingsArg: jsTemporalOverflowSettings),
            "compare": temporalCompareSignature(possibleParams: jsTemporalPlainTimeLikeParameters),
        ]
    )

    private static let jsTemporalPlainYearMonthProperties = [
        "calendarId": .string,
        "era": .string | .undefined,
        "eraYear": .integer | .undefined,
        "year": .integer,
        "month": .integer,
        "monthCode": .string | .undefined,
        "daysInMonth": .integer,
        "daysInYear": .integer,
        "monthsInYear": .integer,
        "inLeapYear": .boolean,
    ]

    public static let jsTemporalPlainYearMonth = ObjectGroup(
        name: "Temporal.PlainYearMonth",
        instanceType: .jsTemporalPlainYearMonth,
        properties: jsTemporalPlainYearMonthProperties,
        overloads: [
            "with": [
                [
                    .plain(jsTemporalPlainDateLikeObjectForWith.instanceType),
                    .opt(jsTemporalOverflowSettings),
                ] => .jsTemporalPlainYearMonth
            ],
            "add": temporalAddSubtractSignature(
                forType: .jsTemporalPlainYearMonth, needsOverflow: true),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalPlainYearMonth, needsOverflow: true),
            "until": temporalUntilSinceSignature(
                possibleParams: jsTemporalPlainYearMonthLikeParameters),
            "since": temporalUntilSinceSignature(
                possibleParams: jsTemporalPlainYearMonthLikeParameters),
            "equals": temporalEqualsSignature(
                possibleParams: jsTemporalPlainYearMonthLikeParameters),
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
            "toPlainDate": [
                [.plain(jsTemporalPlainDateLikeObject.instanceType)] => .jsTemporalPlainDate
            ],
        ]
    )

    public static let jsTemporalPlainYearMonthPrototype = createPrototypeObjectGroup(
        jsTemporalPlainYearMonth,
        constructor: .jsTemporalPlainYearMonthConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.PlainYearMonth constructor
    public static let jsTemporalPlainYearMonthConstructor = ObjectGroup(
        name: "TemporalPlainYearMonthConstructor",
        constructorPath: "Temporal.PlainYearMonth",
        instanceType: .jsTemporalPlainYearMonthConstructor,
        properties: [
            "prototype": jsTemporalPlainYearMonthPrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalPlainYearMonth,
                possibleParams: jsTemporalPlainYearMonthLikeParameters,
                settingsArg: jsTemporalOverflowSettings),
            "compare": temporalCompareSignature(
                possibleParams: jsTemporalPlainYearMonthLikeParameters),
        ]
    )

    public static let jsTemporalPlainMonthDay = ObjectGroup(
        name: "Temporal.PlainMonthDay",
        instanceType: .jsTemporalPlainMonthDay,
        properties: [
            "calendarId": .string,
            "monthCode": .string,
            "day": .integer,
        ],
        overloads: [
            "with": [
                [
                    .plain(jsTemporalPlainDateLikeObjectForWith.instanceType),
                    .opt(jsTemporalOverflowSettings),
                ] => .jsTemporalPlainMonthDay
            ],
            "equals": temporalEqualsSignature(
                possibleParams: jsTemporalPlainMonthDayLikeParameters),
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
            "toPlainDate": [
                [.plain(jsTemporalPlainDateLikeObject.instanceType)] => .jsTemporalPlainDate
            ],
        ]
    )

    public static let jsTemporalPlainMonthDayPrototype = createPrototypeObjectGroup(
        jsTemporalPlainMonthDay,
        constructor: .jsTemporalPlainMonthDayConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.PlainMonthDay constructor.
    public static let jsTemporalPlainMonthDayConstructor = ObjectGroup(
        name: "TemporalPlainMonthDayConstructor",
        constructorPath: "Temporal.PlainMonthDay",
        instanceType: .jsTemporalPlainMonthDayConstructor,
        properties: [
            "prototype": jsTemporalPlainMonthDayPrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalPlainMonthDay,
                possibleParams: jsTemporalPlainMonthDayLikeParameters,
                settingsArg: jsTemporalOverflowSettings)
        ]
    )

    public static let jsTemporalPlainDate = ObjectGroup(
        name: "Temporal.PlainDate",
        instanceType: .jsTemporalPlainDate,
        properties: mergeFields(
            jsTemporalPlainYearMonthProperties,
            [
                "day": .integer,
                "dayOfWeek": .integer,
                "dayOfYear": .integer,
                "weekOfYear": .integer,
                "yearOfWeek": .integer,
                "daysInWeek": .integer,
            ]),
        overloads: [
            "toPlainYearMonth": [[] => .jsTemporalPlainYearMonth],
            "toPlainMonthDay": [[] => .jsTemporalPlainMonthDay],
            "add": temporalAddSubtractSignature(forType: .jsTemporalPlainDate, needsOverflow: true),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalPlainDate, needsOverflow: true),
            "with": [
                [
                    .plain(jsTemporalPlainDateLikeObjectForWith.instanceType),
                    .opt(jsTemporalOverflowSettings),
                ] => .jsTemporalPlainDate
            ],
            "withCalendar": [[.plain(.jsTemporalCalendarEnum)] => .jsTemporalPlainDate],
            "until": temporalUntilSinceSignature(possibleParams: jsTemporalPlainDateLikeParameters),
            "since": temporalUntilSinceSignature(possibleParams: jsTemporalPlainDateLikeParameters),
            "equals": temporalEqualsSignature(possibleParams: jsTemporalPlainDateLikeParameters),
            "toPlainDateTime": jsTemporalPlainTimeLikeParameters.map {
                [.opt($0)] => .jsTemporalPlainDateTime
            },
            "toZonedDateTime": temporalTimeZoneLikeSignature {
                [.plain($0)] => .jsTemporalZonedDateTime
            }
                // Can also accept an object with timezone/time fields
                + [
                    [.plain(OptionsBag.jsTemporalPlainDateToZDTSettings.group.instanceType)]
                        => .jsTemporalZonedDateTime
                ],
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
        ]
    )

    public static let jsTemporalPlainDatePrototype = createPrototypeObjectGroup(
        jsTemporalPlainDate,
        constructor: .jsTemporalPlainDateConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.PlainDate constructor
    public static let jsTemporalPlainDateConstructor = ObjectGroup(
        name: "TemporalPlainDateConstructor",
        constructorPath: "Temporal.PlainDate",
        instanceType: .jsTemporalPlainDateConstructor,
        properties: [
            "prototype": jsTemporalPlainDatePrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalPlainDate,
                possibleParams: jsTemporalPlainDateLikeParameters,
                settingsArg: jsTemporalOverflowSettings),
            "compare": temporalCompareSignature(possibleParams: jsTemporalPlainDateLikeParameters),
        ]
    )

    public static let jsTemporalPlainDateTime = ObjectGroup(
        name: "Temporal.PlainDateTime",
        instanceType: .jsTemporalPlainDateTime,
        properties: mergeFields(jsTemporalPlainDate.properties, jsTemporalPlainTime.properties),
        overloads: [
            "with": [
                [
                    .plain(jsTemporalPlainDateTimeLikeObjectForWith.instanceType),
                    .opt(jsTemporalOverflowSettings),
                ] => .jsTemporalPlainDateTime
            ],
            "withPlainTime": jsTemporalPlainTimeLikeParameters.map {
                [.opt($0)] => .jsTemporalPlainDateTime
            },
            "withCalendar": [[.plain(.jsTemporalCalendarEnum)] => .jsTemporalPlainDateTime],
            "add": temporalAddSubtractSignature(
                forType: .jsTemporalPlainDateTime, needsOverflow: true),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalPlainDateTime, needsOverflow: true),
            "until": temporalUntilSinceSignature(
                possibleParams: jsTemporalPlainDateTimeLikeParameters),
            "since": temporalUntilSinceSignature(
                possibleParams: jsTemporalPlainDateTimeLikeParameters),
            "round": [[.plain(jsTemporalRoundTo)] => .jsTemporalPlainDateTime],
            "equals": temporalEqualsSignature(
                possibleParams: jsTemporalPlainDateTimeLikeParameters),
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
            "toZonedDateTime": temporalTimeZoneLikeSignature {
                [
                    .plain($0),
                    .opt(OptionsBag.jsTemporalZonedInterpretationSettings.group.instanceType),
                ] => .jsTemporalZonedDateTime
            },
            "toPlainDate": [[] => .jsTemporalPlainDate],
            "toPlainTime": [[] => .jsTemporalPlainTime],
        ]
    )

    public static let jsTemporalPlainDateTimePrototype = createPrototypeObjectGroup(
        jsTemporalPlainDateTime,
        constructor: .jsTemporalPlainDateTimeConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.PlainDateTime constructor
    public static let jsTemporalPlainDateTimeConstructor = ObjectGroup(
        name: "TemporalPlainDateTimeConstructor",
        constructorPath: "Temporal.PlainDateTime",
        instanceType: .jsTemporalPlainDateTimeConstructor,
        properties: [
            "prototype": jsTemporalPlainDateTimePrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalPlainDateTime,
                possibleParams: jsTemporalPlainDateTimeLikeParameters,
                settingsArg: jsTemporalOverflowSettings),
            "compare": temporalCompareSignature(
                possibleParams: jsTemporalPlainDateTimeLikeParameters),
        ]
    )

    public static let jsTemporalZonedDateTime = ObjectGroup(
        name: "Temporal.ZonedDateTime",
        instanceType: .jsTemporalZonedDateTime,
        properties: mergeFields(
            jsTemporalPlainDate.properties, jsTemporalPlainTime.properties,
            [
                "timeZoneId": .string,
                "epochMilliseconds": .integer,
                "epochNanoseconds": .bigint,
                "offsetNanoseconds": .integer,
                "offset": .string,
            ]),
        overloads: [
            "with": [
                [
                    .plain(jsTemporalZonedDateTimeLikeObjectForWith.instanceType),
                    .opt(jsTemporalZonedInterpretationSettings),
                ] => .jsTemporalZonedDateTime
            ],
            "withPlainTime": jsTemporalPlainTimeLikeParameters.map {
                [.opt($0)] => .jsTemporalZonedDateTime
            },
            "withCalendar": [[.plain(.jsTemporalCalendarEnum)] => .jsTemporalZonedDateTime],
            "withTimeZone": [[.string] => .jsTemporalZonedDateTime],
            "add": temporalAddSubtractSignature(
                forType: .jsTemporalZonedDateTime, needsOverflow: true),
            "subtract": temporalAddSubtractSignature(
                forType: .jsTemporalZonedDateTime, needsOverflow: true),
            "until": temporalUntilSinceSignature(
                possibleParams: jsTemporalZonedDateTimeLikeParameters),
            "since": temporalUntilSinceSignature(
                possibleParams: jsTemporalZonedDateTimeLikeParameters),
            "round": [[.plain(jsTemporalRoundTo)] => .jsTemporalZonedDateTime],
            "equals": temporalEqualsSignature(
                possibleParams: jsTemporalZonedDateTimeLikeParameters),
            "toString": [[.opt(jsTemporalToStringSettings)] => .string],
            "toJSON": [[] => .string],
            "toLocaleString": [[.opt(.string), .opt(jsTemporalToLocaleStringSettings)] => .string],
            "startOfDay": [[] => .jsTemporalZonedDateTime],
            "getTimeZoneTransition": [
                [.plain(jsTemporalDirectionParam)] => (.jsTemporalInstant | .nullish)
            ],
            "toInstant": [[] => .jsTemporalInstant],
            "toPlainDate": [[] => .jsTemporalPlainDate],
            "toPlainTime": [[] => .jsTemporalPlainTime],
            "toPlainDateTime": [[] => .jsTemporalPlainDateTime],
        ]
    )

    public static let jsTemporalZonedDateTimePrototype = createPrototypeObjectGroup(
        jsTemporalZonedDateTime,
        constructor: .jsTemporalZonedDateTimeConstructor)

    /// ObjectGroup modelling the JavaScript Temporal.ZonedDateTime constructor
    public static let jsTemporalZonedDateTimeConstructor = ObjectGroup(
        name: "TemporalZonedDateTimeConstructor",
        constructorPath: "Temporal.ZonedDateTime",
        instanceType: .jsTemporalZonedDateTimeConstructor,
        properties: [
            "prototype": jsTemporalZonedDateTimePrototype.instanceType
        ],
        overloads: [
            "from": temporalFromSignature(
                forType: .jsTemporalZonedDateTime,
                possibleParams: jsTemporalZonedDateTimeLikeParameters,
                settingsArg: jsTemporalZonedInterpretationSettings),
            "compare": temporalCompareSignature(
                possibleParams: jsTemporalZonedDateTimeLikeParameters),
        ]
    )

    // Temporal helpers

    // Temporal-like objects
    // These are objects like {years: 1, days: 2} that have similar fields to a Temporal type
    // and can be used for constructing them.

    fileprivate static let jsTemporalDurationLikeObject = ObjectGroup(
        name: "TemporalDurationLikeObject",
        instanceType: nil,
        properties: [
            "years": .number | .undefined,
            "months": .number | .undefined,
            "weeks": .number | .undefined,
            "days": .number | .undefined,
            "hours": .number | .undefined,
            "minutes": .number | .undefined,
            "seconds": .number | .undefined,
            "milliseconds": .number | .undefined,
            "microseconds": .number | .undefined,
            "nanoseconds": .number | .undefined,
        ],
        methods: [:])

    private static let jsTemporalTimeLikeFields: [String: ILType] = [
        "hour": .number | .undefined,
        "minute": .number | .undefined,
        "second": .number | .undefined,
        "millisecond": .number | .undefined,
        "microsecond": .number | .undefined,
        "nanosecond": .number | .undefined,
    ]

    private static let jsTemporalCalendarField: [String: ILType] = [
        "calendar": .jsTemporalCalendarEnum | .undefined
    ]

    private static let jsTemporalDateLikeFields: [String: ILType] = [
        "era": .string | .undefined,
        "eraYear": .number | .undefined,
        "month": .number | .undefined,
        "monthCode": .string | .undefined,
        "day": .number | .undefined,
    ]

    private static func mergeFields(_ fields: [String: ILType]...) -> [String: ILType] {
        fields.reduce([:]) {
            $0.merging($1) { _, _ in
                fatalError("Duplicate field in \(fields)")
            }
        }
    }

    fileprivate static let jsTemporalPlainTimeLikeObject = ObjectGroup(
        name: "TemporalPlainTimeLikeObject",
        instanceType: nil,
        properties: jsTemporalTimeLikeFields,
        methods: [:])

    fileprivate static let jsTemporalPlainDateLikeObject = ObjectGroup(
        name: "TemporalPlainDateLikeObject",
        instanceType: nil,
        properties: mergeFields(jsTemporalDateLikeFields, jsTemporalCalendarField),
        methods: [:])

    fileprivate static let jsTemporalPlainDateTimeLikeObject = ObjectGroup(
        name: "TemporalPlainDateTimeLikeObject",
        instanceType: nil,
        properties: mergeFields(
            jsTemporalDateLikeFields, jsTemporalTimeLikeFields, jsTemporalCalendarField),
        methods: [:])

    fileprivate static let jsTemporalZonedDateTimeLikeObject = ObjectGroup(
        name: "TemporalZonedDateTimeLikeObject",
        instanceType: nil,
        properties: mergeFields(
            jsTemporalDateLikeFields, jsTemporalTimeLikeFields,
            ["timeZone": .string | .undefined, "offset": .string | .undefined],
            jsTemporalCalendarField),
        methods: [:])

    // with() takes a reduced set of fields: it cannot have a calendar or timeZone,
    // and will error if you give it these fields.
    fileprivate static let jsTemporalPlainDateLikeObjectForWith = ObjectGroup(
        name: "TemporalPlainDateLikeObjectForWith",
        instanceType: nil,
        properties: mergeFields(jsTemporalDateLikeFields),
        methods: [:])

    fileprivate static let jsTemporalPlainDateTimeLikeObjectForWith = ObjectGroup(
        name: "TemporalPlainDateTimeLikeObjectForWith",
        instanceType: nil,
        properties: mergeFields(jsTemporalDateLikeFields, jsTemporalTimeLikeFields),
        methods: [:])

    fileprivate static let jsTemporalZonedDateTimeLikeObjectForWith = ObjectGroup(
        name: "TemporalZonedDateTimeLikeObjectForWith",
        instanceType: nil,
        properties: mergeFields(
            jsTemporalDateLikeFields, jsTemporalTimeLikeFields, ["offset": .string | .undefined]),
        methods: [:])

    // Temporal-object-like parameters (accepted by ToTemporalFoo)
    // ToTemporalFoo, and APIs based on it (from, compare, until, since, equals, occasionally withFoo/toFoo) accept
    // a Temporal-like object, a Temporal object that is a superset of the type, or a string representation.
    // TODO(manishearth, 439921647) Most of the stringy types here are with a specific format, we should consider generating them
    private static let jsTemporalDurationLikeParameters: [ILType] = [
        jsTemporalDurationLikeObject.instanceType, .jsTemporalDuration, .string,
    ]
    private static let jsTemporalInstantLikeParameters: [ILType] = [
        .jsTemporalInstant, .jsTemporalZonedDateTime, .string,
    ]
    private static let jsTemporalPlainTimeLikeParameters: [ILType] = [
        jsTemporalPlainTimeLikeObject.instanceType, .jsTemporalPlainTime, .jsTemporalPlainDateTime,
        .jsTemporalZonedDateTime, .string,
    ]
    private static let jsTemporalPlainYearMonthLikeParameters: [ILType] = [
        jsTemporalPlainDateLikeObject.instanceType, .jsTemporalPlainYearMonth, .string,
    ]
    private static let jsTemporalPlainMonthDayLikeParameters: [ILType] = [
        jsTemporalPlainDateLikeObject.instanceType, .jsTemporalPlainMonthDay, .string,
    ]
    private static let jsTemporalPlainDateLikeParameters: [ILType] = [
        jsTemporalPlainDateLikeObject.instanceType, .jsTemporalPlainDate, .jsTemporalPlainDateTime,
        .jsTemporalZonedDateTime, .string,
    ]
    private static let jsTemporalPlainDateTimeLikeParameters: [ILType] = [
        jsTemporalPlainDateTimeLikeObject.instanceType, .jsTemporalPlainDate,
        .jsTemporalPlainDateTime, .jsTemporalZonedDateTime, .string,
    ]
    private static let jsTemporalZonedDateTimeLikeParameters: [ILType] = [
        jsTemporalZonedDateTimeLikeObject.instanceType, .string,
    ]

    // Stringy objects
    // TODO(manishearth, 439921647) support stringy objects
    fileprivate static let jsTemporalTimeZoneLike = ILType.namedString(
        ofName: "TemporalTimeZoneString")

    // Options objects
    fileprivate static let jsTemporalDifferenceSettings = OptionsBag
        .jsTemporalDifferenceSettingOrRoundTo.group.instanceType
    // roundTo accepts a subset of fields compared to differenceSettings; we merge the two bag types but retain separate
    // variables for clarity in the signatures above.
    fileprivate static let jsTemporalRoundTo = OptionsBag.jsTemporalDifferenceSettingOrRoundTo.group
        .instanceType
    fileprivate static let jsTemporalToStringSettings = OptionsBag.jsTemporalToStringSettings.group
        .instanceType
    fileprivate static let jsTemporalOverflowSettings = OptionsBag.jsTemporalOverflowSettings.group
        .instanceType
    fileprivate static let jsTemporalZonedInterpretationSettings = OptionsBag
        .jsTemporalZonedInterpretationSettings.group.instanceType
    fileprivate static let jsTemporalDirectionParam = ILType.enumeration(
        ofName: "directionParam", withValues: ["previous", "next"])
    fileprivate static let jsTemporalDurationRoundToSettings = OptionsBag
        .jsTemporalDurationRoundToSettings.group.instanceType
    fileprivate static let jsTemporalDurationTotalOfSettings = OptionsBag
        .jsTemporalDurationTotalOfSettings.group.instanceType
    fileprivate static let jsTemporalDurationCompareSettings = OptionsBag
        .jsTemporalDurationCompareSettings.group.instanceType
    // This is huge and comes from Intl, not Temporal
    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DateTimeFormat/DateTimeFormat#parameters
    fileprivate static let jsTemporalToLocaleStringSettings = ILType.jsAnything
    fileprivate static let jsTemporalZonedOptions = ILType.jsAnything
}

extension OptionsBag {
    // Individual enums
    fileprivate static let jsTemporalUnitEnum = ILType.enumeration(
        ofName: "temporalUnit",
        withValues: [
            "auto", "year", "month", "week", "day", "hour", "minute", "second", "millisecond",
            "microsecond", "nanosecond", "years", "months", "weeks", "days", "hours",
            "minutes", "seconds", "milliseconds", "microseconds", "nanoseconds",
        ])
    fileprivate static let jsTemporalRoundingModeEnum = ILType.enumeration(
        ofName: "temporalRoundingMode",
        withValues: [
            "ceil", "floor", "expand", "trunc", "halfCeil", "halfFloor", "halfExpand", "halfTrunc",
            "halfEven",
        ])
    fileprivate static let jsTemporalShowCalendarEnum = ILType.enumeration(
        ofName: "temporalShowCalendar", withValues: ["auto", "always", "never", "critical"])
    fileprivate static let jsTemporalShowOffsetEnum = ILType.enumeration(
        ofName: "temporalShowOffset", withValues: ["auto", "never"])
    fileprivate static let jsTemporalShowTimeZoneEnum = ILType.enumeration(
        ofName: "temporalShowOfTimeZone", withValues: ["auto", "never", "critical"])
    fileprivate static let jsTemporalOverflowEnum = ILType.enumeration(
        ofName: "temporalOverflow", withValues: ["constrain", "reject"])
    fileprivate static let jsTemporalDisambiguationEnum = ILType.enumeration(
        ofName: "temporalDisambiguation", withValues: ["compatible", "earlier", "later", "reject"])
    fileprivate static let jsTemporalOffsetEnum = ILType.enumeration(
        ofName: "temporalOffset", withValues: ["prefer", "use", "ignore", "reject"])

    static let jsTemporalRelativeTo =
        ILType.jsTemporalZonedDateTime | ILType.jsTemporalPlainDateTime | ILType.jsTemporalPlainDate
        | .string

    // differenceSettings and roundTo are mostly the same, with differenceSettings accepting an additional largestUnit
    // note that the Duration roundTo option is different
    static let jsTemporalDifferenceSettingOrRoundTo = OptionsBag(
        name: "TemporalDifferenceSettingsObject",
        properties: [
            "smallestUnit": jsTemporalUnitEnum,
            "largestUnit": jsTemporalUnitEnum,
            "roundingMode": jsTemporalRoundingModeEnum,
            "roundingIncrement": .integer,
        ])

    // Technically some of these parameters are only read by ZonedDateTime; but they're
    // otherwise largely shared
    static let jsTemporalToStringSettings = OptionsBag(
        name: "TemporalToStringSettingsObject",
        properties: [
            "calendarName": jsTemporalShowCalendarEnum,
            "fractionalSecondDigits": .number,
            "offset": jsTemporalShowOffsetEnum,
            "timeZoneName": jsTemporalShowTimeZoneEnum,
            "roundingMode": jsTemporalRoundingModeEnum,
            "smallestUnit": jsTemporalUnitEnum,
        ])

    static let jsTemporalOverflowSettings = OptionsBag(
        name: "jsTemporalOverflowSettingsObject",
        properties: [
            "overflow": jsTemporalOverflowEnum
        ])

    static let jsTemporalZonedInterpretationSettings = OptionsBag(
        name: "TemporalZonedInterpretationSettingsObject",
        properties: [
            "overflow": jsTemporalOverflowEnum,
            "disambiguation": jsTemporalDisambiguationEnum,
            "offset": jsTemporalOffsetEnum,
        ])

    static let jsTemporalDurationRoundToSettings = OptionsBag(
        name: "TemporalDurationRoundToSettingsObject",
        properties: [
            "largestUnit": OptionsBag.jsTemporalUnitEnum,
            "roundingMode": OptionsBag.jsTemporalRoundingModeEnum,
            "roundingIncrement": .integer,
            "relativeTo": jsTemporalRelativeTo,
            "smallestUnit": OptionsBag.jsTemporalUnitEnum,
        ]
    )
    static let jsTemporalDurationTotalOfSettings = OptionsBag(
        name: "TemporalDurationTotalOfSettingsObject",
        properties: [
            "relativeTo": jsTemporalRelativeTo,
            "unit": OptionsBag.jsTemporalUnitEnum,
        ]
    )
    static let jsTemporalDurationCompareSettings = OptionsBag(
        name: "TemporalDurationCompareSettingsObject",
        properties: [
            "relativeTo": jsTemporalRelativeTo
        ]
    )

    static let jsTemporalPlainDateToZDTSettings = OptionsBag(
        name: "TemporalPlainDateToZDTSettings",
        properties: [
            "timeZone": ObjectGroup.jsTemporalTimeZoneLike,
            "plainTime": .jsTemporalPlainTime,
        ]
    )
}

// Intl
extension ILType {
    // Intl types
    static let jsIntlObject = ILType.object(
        ofGroup: "Intl",
        withProperties: [
            "DateTimeFormat", "Collator", "DisplayNames", "DurationFormat", "ListFormat", "Locale",
            "NumberFormat", "PluralRules", "RelativeTimeFormat", "Segmenter",
        ], withMethods: ["getCanonicalLocales", "supportedValuesOf"])

    static let jsIntlLocale = ILType.object(
        ofGroup: "Intl.Locale",
        withProperties: [
            "baseName", "calendar", "caseFirst", "collation", "hourCycle", "language",
            "numberingSystem", "numeric", "region", "script", "variants",
        ],
        withMethods: [
            "getCalendars", "getCollations", "getHourCycles", "getNumberingSystems", "getTextInfo",
            "getTimeZones", "getWeekInfo", "maximize", "minimize", "toString",
        ])
    static let jsIntlLocaleConstructor =
        ILType.constructor(
            [.plain(.jsIntlLocaleString), .opt(OptionsBag.jsIntlLocaleSettings.group.instanceType)]
                => .jsIntlLocale)
        + .object(ofGroup: "IntlLocaleConstructor", withProperties: ["prototype"], withMethods: [])

    static let jsIntlCollator = ILType.object(
        ofGroup: "Intl.Collator", withProperties: [], withMethods: ["compare", "resolvedOptions"])
    static let jsIntlCollatorConstructor =
        ILType.functionAndConstructor(
            [.opt(.jsIntlLocaleLike), .opt(OptionsBag.jsIntlCollatorSettings.group.instanceType)]
                => .jsIntlCollator)
        + .object(
            ofGroup: "IntlCollatorConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlDisplayNames = ILType.object(
        ofGroup: "Intl.DisplayNames", withProperties: [], withMethods: ["of", "resolvedOptions"])
    static let jsIntlDisplayNamesConstructor =
        ILType.constructor(
            [
                .plain(.jsIntlLocaleLike),
                .plain(OptionsBag.jsIntlDisplayNamesSettings.group.instanceType),
            ] => .jsIntlDisplayNames)
        + .object(
            ofGroup: "IntlDisplayNamesConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlDurationFormat = ILType.object(
        ofGroup: "Intl.DurationFormat", withProperties: [],
        withMethods: ["format", "formatToParts", "resolvedOptions"])
    static let jsIntlDurationFormatConstructor =
        ILType.constructor(
            [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlDurationFormatSettings.group.instanceType),
            ] => .jsIntlDurationFormat)
        + .object(
            ofGroup: "IntlDurationFormatConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlDateTimeFormat = ILType.object(
        ofGroup: "Intl.DateTimeFormat", withProperties: [],
        withMethods: [
            "format", "formatRange", "formatRangeToParts", "formatToParts", "resolvedOptions",
        ])
    static let jsIntlDateTimeFormatConstructor =
        ILType.functionAndConstructor(
            [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlDateTimeFormatSettings.group.instanceType),
            ] => .jsIntlDateTimeFormat)
        + .object(
            ofGroup: "IntlDateTimeFormatConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlListFormat = ILType.object(
        ofGroup: "Intl.ListFormat", withProperties: [],
        withMethods: ["format", "formatToParts", "resolvedOptions"])
    static let jsIntlListFormatConstructor =
        ILType.constructor(
            [.opt(.jsIntlLocaleLike), .opt(OptionsBag.jsIntlListFormatSettings.group.instanceType)]
                => .jsIntlListFormat)
        + .object(
            ofGroup: "IntlListFormatConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlNumberFormat = ILType.object(
        ofGroup: "Intl.NumberFormat", withProperties: [],
        withMethods: [
            "format", "formatRange", "formatRangeToParts", "formatToParts", "resolvedOptions",
        ])
    static let jsIntlNumberFormatConstructor =
        ILType.functionAndConstructor(
            [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlNumberFormatSettings.group.instanceType),
            ] => .jsIntlNumberFormat)
        + .object(
            ofGroup: "IntlNumberFormatConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlPluralRules = ILType.object(
        ofGroup: "Intl.PluralRules", withProperties: [],
        withMethods: ["select", "selectRange", "resolvedOptions"])
    static let jsIntlPluralRulesConstructor =
        ILType.constructor(
            [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlPluralRulesSettings.group.instanceType),
            ] => .jsIntlPluralRules)
        + .object(
            ofGroup: "IntlPluralRulesConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlRelativeTimeFormat = ILType.object(
        ofGroup: "Intl.RelativeTimeFormat", withProperties: [],
        withMethods: ["format", "formatToParts", "resolvedOptions"])
    static let jsIntlRelativeTimeFormatConstructor =
        ILType.constructor(
            [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlRelativeTimeFormatSettings.group.instanceType),
            ] => .jsIntlRelativeTimeFormat)
        + .object(
            ofGroup: "IntlRelativeTimeFormatConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlSegmenter = ILType.object(
        ofGroup: "Intl.Segmenter", withProperties: [], withMethods: ["segment", "resolvedOptions"])
    static let jsIntlSegmenterConstructor =
        ILType.constructor(
            [.opt(.jsIntlLocaleLike), .opt(OptionsBag.jsIntlSegmenterSettings.group.instanceType)]
                => .jsIntlSegmenter)
        + .object(
            ofGroup: "IntlSegmenterConstructor", withProperties: ["prototype"],
            withMethods: ["supportedLocalesOf"])

    static let jsIntlSegmenterSegments = ILType.object(
        ofGroup: "IntlSegmenterSegments", withProperties: [], withMethods: ["containing"])

    static let jsIntlLocaleString = ILType.namedString(ofName: "IntlLocaleString")
    static let jsIntlLanguageString = ILType.namedString(ofName: "IntlLanguageString")
    static let jsIntlScriptString = ILType.namedString(ofName: "IntlScriptString")
    static let jsIntlRegionString = ILType.namedString(ofName: "IntlRegionString")
    static let jsIntlVariantString = ILType.namedString(ofName: "IntlVariantString")
    // TODO: locale-likes are actually supposed to be a locale string, an Intl.Locale object, or an array of the same
    static let jsIntlLocaleLike = ILType.jsIntlLocaleString
    static let jsIntlUnitString = ILType.namedString(ofName: "IntlUnitString")
}

extension ObjectGroup {
    static let jsIntlSupportedValuesEnum = ILType.enumeration(
        ofName: "IntlSupportedValues",
        withValues: ["calendar", "collation", "currency", "numberingSystem", "timeZone"])

    static let jsIntlObject = ObjectGroup(
        name: "Intl",
        instanceType: .jsIntlObject,
        properties: [
            "Collator": .jsIntlCollatorConstructor,
            "DateTimeFormat": .jsIntlDateTimeFormatConstructor,
            "DisplayNames": .jsIntlDisplayNamesConstructor,
            "DurationFormat": .jsIntlDurationFormatConstructor,
            "ListFormat": .jsIntlListFormatConstructor,
            "Locale": .jsIntlLocaleConstructor,
            "NumberFormat": .jsIntlNumberFormatConstructor,
            "PluralRules": .jsIntlPluralRulesConstructor,
            "RelativeTimeFormat": .jsIntlRelativeTimeFormatConstructor,
            "Segmenter": .jsIntlSegmenterConstructor,
        ],
        methods: [
            "getCanonicalLocales": [] => .jsArray,
            "supportedValuesOf": [.plain(jsIntlSupportedValuesEnum)] => .jsArray,
        ]
    )

    static let jsIntlCollator = ObjectGroup(
        name: "Intl.Collator",
        instanceType: .jsIntlCollator,
        properties: [:],
        methods: [
            "compare": [.string, .string] => .integer,
            "resolvedOptions": [] => .object(),
        ]
    )

    // Exclude compare as it is a get accessor, not a property, meaning that
    // Intl.Collator.prototype.compare throws unconditionally (even without calling it).
    static let jsIntlCollatorPrototype = createPrototypeObjectGroup(
        jsIntlCollator,
        constructor: .jsIntlCollatorConstructor,
        excludeProperties: ["compare"])

    static let jsIntlCollatorConstructor = ObjectGroup(
        name: "IntlCollatorConstructor",
        constructorPath: "Intl.Collator",
        instanceType: .jsIntlCollatorConstructor,
        properties: [
            "prototype": jsIntlCollatorPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlDisplayNames = ObjectGroup(
        name: "Intl.DisplayNames",
        instanceType: .jsIntlDisplayNames,
        properties: [:],
        methods: [
            "of": [.string] => .string,  // TODO(mliedtke): The parameter should be typed more precise than string.
            "resolvedOptions": []
                => .object(withProperties: [
                    "locale", "style", "type", "fallback", "languageDisplay",
                ]),
        ]
    )

    static let jsIntlDisplayNamesPrototype = createPrototypeObjectGroup(
        jsIntlDisplayNames,
        constructor: .jsIntlDisplayNamesConstructor)

    static let jsIntlDisplayNamesConstructor = ObjectGroup(
        name: "IntlDisplayNamesConstructor",
        constructorPath: "Intl.DisplayNames",
        instanceType: .jsIntlDisplayNamesConstructor,
        properties: [
            "prototype": jsIntlDisplayNamesPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlDurationFormat = ObjectGroup(
        name: "Intl.DurationFormat",
        instanceType: .jsIntlDurationFormat,
        properties: [:],
        methods: [
            "format": [.plain(ObjectGroup.jsTemporalDurationLikeObject.instanceType)] => .string,
            "formatToParts": [.plain(ObjectGroup.jsTemporalDurationLikeObject.instanceType)]
                => .jsArray,
            "resolvedOptions": []
                => .object(withProperties: [
                    "locale", "numberingSystem", "style", "fractionalDigits",
                ]),
        ]
    )

    static let jsIntlDurationFormatPrototype = createPrototypeObjectGroup(
        jsIntlDurationFormat,
        constructor: .jsIntlDurationFormatConstructor)

    static let jsIntlDurationFormatConstructor = ObjectGroup(
        name: "IntlDurationFormatConstructor",
        constructorPath: "Intl.DurationFormat",
        instanceType: .jsIntlDurationFormatConstructor,
        properties: [
            "prototype": jsIntlDurationFormatPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    fileprivate static func dateTimeFormatSignature(_ returnType: ILType) -> [Signature] {
        // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DateTimeFormat/format#date
        // No ZonedDateTime as stated in the docs.
        [
            ILType.jsDate, .jsTemporalPlainDate, .jsTemporalPlainTime, .jsTemporalPlainMonthDay,
            .jsTemporalPlainYearMonth, .jsTemporalPlainDateTime,
        ].map {
            [.opt($0)] => returnType
        }
    }
    fileprivate static func dateTimeFormatRangeSignature(_ returnType: ILType) -> [Signature] {
        // Docs list all Temporal types except ZDT, but we don't wish to explode the signatures so we just pick
        // the two main relevant ones.
        [ILType.jsDate, .jsTemporalPlainDateTime].flatMap { firstParam in
            [ILType.jsDate, .jsTemporalPlainDateTime].map {
                [.opt(firstParam), .opt($0)] => returnType
            }
        }
    }
    static let jsIntlDateTimeFormat = ObjectGroup(
        name: "Intl.DateTimeFormat",
        instanceType: .jsIntlDateTimeFormat,
        properties: [:],
        overloads: [
            "format": dateTimeFormatSignature(.string),
            "formatRange": dateTimeFormatRangeSignature(.string),
            "formatRangeToParts": dateTimeFormatRangeSignature(.jsArray),
            "formatToParts": dateTimeFormatSignature(.jsArray),
            "resolvedOptions": [[] => .object()],
        ]
    )

    // Exclude format as it is a get accessor, not a property, meaning that
    // Intl.DateTimeFormat.prototype.format throws unconditionally (even without calling it).
    static let jsIntlDateTimeFormatPrototype = createPrototypeObjectGroup(
        jsIntlDateTimeFormat,
        constructor: .jsIntlDateTimeFormatConstructor,
        excludeProperties: ["format"])

    static let jsIntlDateTimeFormatConstructor = ObjectGroup(
        name: "IntlDateTimeFormatConstructor",
        constructorPath: "Intl.DateTimeFormat",
        instanceType: .jsIntlDateTimeFormatConstructor,
        properties: [
            "prototype": jsIntlDateTimeFormatPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlListFormat = ObjectGroup(
        name: "Intl.ListFormat",
        instanceType: .jsIntlListFormat,
        properties: [:],
        methods: [
            "format": [.plain(.jsArray)] => .string,
            "formatToParts": [.plain(.jsArray)] => .jsArray,
            "resolvedOptions": [] => .object(),
        ]
    )

    static let jsIntlListFormatPrototype = createPrototypeObjectGroup(
        jsIntlListFormat,
        constructor: .jsIntlListFormatConstructor)

    static let jsIntlListFormatConstructor = ObjectGroup(
        name: "IntlListFormatConstructor",
        constructorPath: "Intl.ListFormat",
        instanceType: .jsIntlListFormatConstructor,
        properties: [
            "prototype": jsIntlListFormatPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlLocale = ObjectGroup(
        name: "Intl.Locale",
        instanceType: .jsIntlLocale,
        properties: [
            "baseName": .string,
            "calendar": .string,
            "caseFirst": .string,
            "collation": .string,
            "hourCycle": .string,
            "language": .string,
            "numberingSystem": .string,
            "numeric": .boolean,
            "region": .string,
            "script": .string,
            "variants": .string,
        ],
        methods: [
            "getCalendars": [] => .jsArray,
            "getCollations": [] => .jsArray,
            "getHourCycles": [] => .jsArray,
            "getNumberingSystems": [] => .jsArray,
            "getTextInfo": [] => .object(withProperties: ["direction"]),
            "getTimeZones": [] => .jsArray,
            "getWeekInfo": [] => .object(),
            "maximize": [] => .jsIntlLocale,
            "minimize": [] => .jsIntlLocale,
            "toString": [] => .string,
        ]
    )

    static let jsIntlLocalePrototype =
        createPrototypeObjectGroup(jsIntlLocale, constructor: .jsIntlLocaleConstructor)

    static let jsIntlLocaleConstructor = ObjectGroup(
        name: "IntlLocaleConstructor",
        constructorPath: "Intl.Locale",
        instanceType: .jsIntlLocaleConstructor,
        properties: [
            "prototype": jsIntlLocalePrototype.instanceType
        ],
        methods: [:]
    )

    fileprivate static func numberFormatSignature(_ returnType: ILType) -> [Signature] {
        // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/NumberFormat/format
        [ILType.number, .bigint, .string].map {
            [.opt($0)] => returnType
        }
    }
    fileprivate static func numberFormatRangeSignature(_ returnType: ILType) -> [Signature] {
        [ILType.number, .bigint, .string].flatMap { firstParam in
            [ILType.number, .bigint, .string].map {
                [.opt(firstParam), .opt($0)] => returnType
            }
        }
    }

    static let jsIntlNumberFormat = ObjectGroup(
        name: "Intl.NumberFormat",
        instanceType: .jsIntlNumberFormat,
        properties: [:],
        overloads: [
            "format": numberFormatSignature(.string),
            "formatRange": numberFormatRangeSignature(.string),
            "formatRangeToParts": numberFormatRangeSignature(.jsArray),
            "formatToParts": numberFormatSignature(.jsArray),
            "resolvedOptions": [[] => .object()],
        ]
    )

    // Exclude format as it is a get accessor, not a property, meaning that
    // Intl.NumberFormat.prototype.format throws unconditionally (even without calling it).
    static let jsIntlNumberFormatPrototype = createPrototypeObjectGroup(
        jsIntlNumberFormat,
        constructor: .jsIntlNumberFormatConstructor,
        excludeProperties: ["format"])

    static let jsIntlNumberFormatConstructor = ObjectGroup(
        name: "IntlNumberFormatConstructor",
        constructorPath: "Intl.NumberFormat",
        instanceType: .jsIntlNumberFormatConstructor,
        properties: [
            "prototype": jsIntlNumberFormatPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlPluralRules = ObjectGroup(
        name: "Intl.PluralRules",
        instanceType: .jsIntlPluralRules,
        properties: [:],
        methods: [
            "select": [.number] => .string,
            "selectRange": [.number, .number] => .string,
            "resolvedOptions": [] => .object(),
        ]
    )

    static let jsIntlPluralRulesPrototype =
        createPrototypeObjectGroup(jsIntlPluralRules, constructor: .jsIntlPluralRulesConstructor)

    static let jsIntlPluralRulesConstructor = ObjectGroup(
        name: "IntlPluralRulesConstructor",
        constructorPath: "Intl.PluralRules",
        instanceType: .jsIntlPluralRulesConstructor,
        properties: [
            "prototype": jsIntlPluralRulesPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlRelativeTimeFormatUnitEnum = ILType.enumeration(
        ofName: "IntlRelativeTimeFormatUnit",
        withValues: ["year", "quarter", "month", "week", "day", "hour", "minute", "second"])

    static let jsIntlRelativeTimeFormat = ObjectGroup(
        name: "Intl.RelativeTimeFormat",
        instanceType: .jsIntlRelativeTimeFormat,
        properties: [:],
        methods: [
            "format": [.number, .plain(jsIntlRelativeTimeFormatUnitEnum)] => .string,
            "formatToParts": [.number, .plain(jsIntlRelativeTimeFormatUnitEnum)] => .jsArray,
            "resolvedOptions": [] => .object(),
        ]
    )

    static let jsIntlRelativeTimeFormatPrototype = createPrototypeObjectGroup(
        jsIntlRelativeTimeFormat,
        constructor: .jsIntlRelativeTimeFormatConstructor)

    static let jsIntlRelativeTimeFormatConstructor = ObjectGroup(
        name: "IntlRelativeTimeFormatConstructor",
        constructorPath: "Intl.RelativeTimeFormat",
        instanceType: .jsIntlRelativeTimeFormatConstructor,
        properties: [
            "prototype": jsIntlRelativeTimeFormatPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )

    static let jsIntlSegmenter = ObjectGroup(
        name: "Intl.Segmenter",
        instanceType: .jsIntlSegmenter,
        properties: [:],
        methods: [
            "segment": [.string] => .jsIntlSegmenterSegments,
            "resolvedOptions": [] => .object(),
        ]
    )

    static let jsIntlSegmenterPrototype =
        createPrototypeObjectGroup(jsIntlSegmenter, constructor: .jsIntlSegmenterConstructor)

    static let jsIntlSegmenterConstructor = ObjectGroup(
        name: "IntlSegmenterConstructor",
        constructorPath: "Intl.Segmenter",
        instanceType: .jsIntlSegmenterConstructor,
        properties: [
            "prototype": jsIntlSegmenterPrototype.instanceType
        ],
        methods: [
            // TODO(manishearth) this also accepts arrays of locale-likes
            "supportedLocalesOf": [
                .opt(.jsIntlLocaleLike),
                .opt(OptionsBag.jsIntlLocaleMatcherSettings.group.instanceType),
            ] => .jsArray
        ]
    )
    static let jsIntlSegmenterSegments = ObjectGroup(
        name: "IntlSegmenterSegments",
        instanceType: .jsIntlSegmenterSegments,
        properties: [:],
        methods: [
            "containing": [.number] => .object()
        ]
    )
}

extension OptionsBag {
    fileprivate static let jsIntlLocaleMatcherEnum = ILType.enumeration(
        ofName: "IntlLocaleMatcher", withValues: ["lookup", "best fit"])
    fileprivate static let jsIntlNumberingSystemEnum = ILType.enumeration(
        ofName: "IntlNumberingSystem",
        withValues: Locale.NumberingSystem.availableNumberingSystems.map { $0.identifier })
    fileprivate static let jsIntlHourCycleEnum = ILType.enumeration(
        ofName: "IntlHourCycle", withValues: ["h11", "h12", "h23", "h24"])
    fileprivate static let jsIntlLongShortNarrowEnum = ILType.enumeration(
        ofName: "IntlLongShortNarrow", withValues: ["long", "short", "narrow"])
    fileprivate static let jsIntlLongShortEnum = ILType.enumeration(
        ofName: "IntlLongShort", withValues: ["long", "short"])
    fileprivate static let jsIntlAutoAlwaysEnum = ILType.enumeration(
        ofName: "IntlAutoAlways", withValues: ["auto", "always"])
    fileprivate static let jsIntlNumeric2DigitEnum = ILType.enumeration(
        ofName: "IntlNumeric2Digit", withValues: ["numeric", "2-digit"])
    fileprivate static let jsIntlMonthEnum = ILType.enumeration(
        ofName: "IntlMonth", withValues: ["numeric", "2-digit", "long", "short", "narrow"])
    fileprivate static let jsIntlTimeZoneNameEnum = ILType.enumeration(
        ofName: "IntlTimeZoneName",
        withValues: ["long", "short", "shortOffset", "longOffset", "shortGeneric", "longGeneric"])
    fileprivate static let jsIntlFormatMatcherEnum = ILType.enumeration(
        ofName: "IntlFormatMatcher", withValues: ["basic", "best fit"])
    fileprivate static let jsIntlFullLongMediumShort = ILType.enumeration(
        ofName: "IntlFullLongMediumShort", withValues: ["full", "long", "medium", "short"])
    fileprivate static let jsIntlCollatorUsageEnum = ILType.enumeration(
        ofName: "IntlCollatorUsage", withValues: ["sort", "search"])
    fileprivate static let jsIntlCollationEnum = ILType.enumeration(
        ofName: "IntlCollation", withValues: ["emoji", "pinyin", "stroke"])
    fileprivate static let jsIntlCollationTypeEnum = ILType.enumeration(
        ofName: "IntlCollationType",
        withValues: [
            "compat", "emoji", "eor", "phonebk", "pinyin", "searchjl", "stroke", "trad", "unihan",
            "zhuyin",
        ])
    fileprivate static let jsIntlCaseFirstEnum = ILType.enumeration(
        ofName: "IntlCaseFirst", withValues: ["upper", "lower", "false"])
    fileprivate static let jsIntlCollatorSensitivityEnum = ILType.enumeration(
        ofName: "IntlCollatorSensitivity", withValues: ["base", "accent", "case", "variant"])
    fileprivate static let jsIntlDisplayNamesTypeEnum = ILType.enumeration(
        ofName: "IntlDisplayNamesTypeEnum",
        withValues: ["language", "region", "script", "currency", "calendar", "dateTimeField"])
    fileprivate static let jsIntlDisplayNamesFallbackEnum = ILType.enumeration(
        ofName: "IntlDisplayNamesFallbackEnum", withValues: ["code", "none"])
    fileprivate static let jsIntlDisplayNamesLanguageDisplayEnum = ILType.enumeration(
        ofName: "IntlDisplayNamesLanguageDisplayEnum", withValues: ["dialect", "standard"])
    fileprivate static let jsIntlDurationFormatStyleEnum = ILType.enumeration(
        ofName: "IntlDurationFormatStyleEnum", withValues: ["long", "short", "narrow", "digital"])
    fileprivate static let jsIntlListFormatTypeEnum = ILType.enumeration(
        ofName: "IntlListFormatTypeEnum", withValues: ["conjunction", "disjunction", "unit"])
    fileprivate static let jsIntlNumberFormatStyleEnum = ILType.enumeration(
        ofName: "IntlNumberFormatStyleEnum", withValues: ["decimal", "currency", "percent", "unit"])
    fileprivate static let jsIntlCurrencySystemEnum = ILType.enumeration(
        ofName: "IntlCurrency", withValues: Locale.Currency.isoCurrencies.map { $0.identifier })
    fileprivate static let jsIntlCurrencyDisplayEnum = ILType.enumeration(
        ofName: "IntlCurrencyDisplayEnum", withValues: ["code", "symbol", "narrowSymbol", "name"])
    fileprivate static let jsIntlCurrencySignEnum = ILType.enumeration(
        ofName: "IntlCurrencySignEnum", withValues: ["standard", "accounting"])
    fileprivate static let jsIntlRoundingPriorityEnum = ILType.enumeration(
        ofName: "IntlRoundingPriority", withValues: ["auto", "morePrecision", "lessPrecision"])
    fileprivate static let jsIntlRoundingModeEnum = ILType.enumeration(
        ofName: "IntlRoundingMode",
        withValues: [
            "ceil", "floor", "expand", "trunc", "halfCeil", "halfFloor", "halfExpand", "halfTrunc",
            "halfEven",
        ])
    fileprivate static let jsIntlTrailingZeroDisplayEnum = ILType.enumeration(
        ofName: "IntlTrailingZeroDisplay", withValues: ["auto", "stripIfInteger"])
    fileprivate static let jsIntlNumberFormatNotationEnum = ILType.enumeration(
        ofName: "IntlNumberFormatNotation",
        withValues: ["standard", "scientific", "engineering", "compact"])
    fileprivate static let jsIntlNumberFormatGroupingEnum = ILType.enumeration(
        ofName: "IntlNumberFormatGrouping", withValues: ["always", "auto", "min2", "true", "false"])
    fileprivate static let jsIntlSignDisplayEnum = ILType.enumeration(
        ofName: "IntlSignDisplay",
        withValues: ["auto", "always", "exceptZero", "negative", "never"])
    fileprivate static let jsIntlPluralRulesTypeEnum = ILType.enumeration(
        ofName: "IntlPluralRulesTypeEnum", withValues: ["cardinal", "ordinal"])
    fileprivate static let jsIntlSegmenterGranularityEnum = ILType.enumeration(
        ofName: "IntlSegmenterGranularityEnum", withValues: ["grapheme", "word", "sentence"])

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DateTimeFormat/DateTimeFormat#parameters
    static let jsIntlDateTimeFormatSettings = OptionsBag(
        name: "IntlDateTimeFormatSettings",
        properties: [
            // Locale options
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "calendar": .jsTemporalCalendarEnum,
            "numberingSystem": jsIntlNumberingSystemEnum,
            "hour12": .boolean,
            "hourCycle": jsIntlHourCycleEnum,
            "timeZone": ObjectGroup.jsTemporalTimeZoneLike,
            // datetime options
            "weekday": jsIntlLongShortNarrowEnum,
            "era": jsIntlLongShortNarrowEnum,
            "year": jsIntlNumeric2DigitEnum,
            "month": jsIntlMonthEnum,
            "day": jsIntlNumeric2DigitEnum,
            "dayPeriod": jsIntlLongShortNarrowEnum,
            "hour": jsIntlNumeric2DigitEnum,
            "minute": jsIntlNumeric2DigitEnum,
            "second": jsIntlNumeric2DigitEnum,
            "fractionalSecondDigits": .integer,  // Technically only 1-3
            "timeZoneName": jsIntlTimeZoneNameEnum,
            "formatMatcher": jsIntlFormatMatcherEnum,
            // style options
            "dateStyle": jsIntlFullLongMediumShort,
            "timeStyle": jsIntlFullLongMediumShort,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/Collator/Collator#options
    static let jsIntlCollatorSettings = OptionsBag(
        name: "IntlCollatorSettings",
        properties: [
            "usage": jsIntlCollatorUsageEnum,
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "collation": jsIntlCollationEnum,
            "numeric": .boolean,
            "caseFirst": jsIntlCaseFirstEnum,
            "sensitivity": jsIntlCollatorSensitivityEnum,
            "ignorePunctuation": .boolean,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DisplayNames/DisplayNames#options
    static let jsIntlDisplayNamesSettings = OptionsBag(
        name: "IntlDisplayNamesSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "style": jsIntlLongShortNarrowEnum,
            "type": jsIntlDisplayNamesTypeEnum,
            "fallback": jsIntlDisplayNamesFallbackEnum,
            "languageDisplay": jsIntlDisplayNamesLanguageDisplayEnum,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DurationFormat/DurationFormat#options
    static let jsIntlDurationFormatSettings = OptionsBag(
        name: "IntlDurationFormatSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "numberingSystem": jsIntlNumberingSystemEnum,
            "style": jsIntlDurationFormatStyleEnum,
            "years": jsIntlLongShortNarrowEnum,
            "yearsDisplay": jsIntlAutoAlwaysEnum,
            "months": jsIntlLongShortNarrowEnum,
            "monthsDisplay": jsIntlAutoAlwaysEnum,
            "weeks": jsIntlLongShortNarrowEnum,
            "weeksDisplay": jsIntlAutoAlwaysEnum,
            "days": jsIntlLongShortNarrowEnum,
            "daysDisplay": jsIntlAutoAlwaysEnum,
            "hours": jsIntlLongShortNarrowEnum,
            "hoursDisplay": jsIntlAutoAlwaysEnum,
            "minutes": jsIntlLongShortNarrowEnum,
            "minutesDisplay": jsIntlAutoAlwaysEnum,
            "seconds": jsIntlLongShortNarrowEnum,
            "secondsDisplay": jsIntlAutoAlwaysEnum,
            "milliseconds": jsIntlLongShortNarrowEnum,
            "millisecondsDisplay": jsIntlAutoAlwaysEnum,
            "microseconds": jsIntlLongShortNarrowEnum,
            "microsecondsDisplay": jsIntlAutoAlwaysEnum,
            "nanoseconds": jsIntlLongShortNarrowEnum,
            "nanosecondsDisplay": jsIntlAutoAlwaysEnum,
            "fractionalDigits": .integer,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/ListFormat/ListFormat#options
    static let jsIntlListFormatSettings = OptionsBag(
        name: "IntlListFormatSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "type": jsIntlListFormatTypeEnum,
            "style": jsIntlLongShortNarrowEnum,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/Locale/Locale#options
    static let jsIntlLocaleSettings = OptionsBag(
        name: "IntlLocaleSettings",
        properties: [
            "language": .jsIntlLanguageString,
            "script": .jsIntlScriptString,
            "region": .jsIntlRegionString,
            "variants": .jsIntlVariantString,
            "calendar": .jsTemporalCalendarEnum,
            "collation": jsIntlCollationTypeEnum,
            "numberingSystem": jsIntlNumberingSystemEnum,
            "caseFirst": jsIntlCaseFirstEnum,
            "hourCycle": jsIntlHourCycleEnum,
            "numeric": .boolean,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/NumberFormat/NumberFormat#options
    static let jsIntlNumberFormatSettings = OptionsBag(
        name: "IntlNumberFormatSettings",
        properties: [
            // locale options
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "numberingSystem": jsIntlNumberingSystemEnum,
            // style options
            "style": jsIntlNumberFormatStyleEnum,
            "currency": jsIntlCurrencySystemEnum,
            "currencyDisplay": jsIntlCurrencyDisplayEnum,
            "currencySign": jsIntlCurrencySignEnum,
            "unit": .jsIntlUnitString,
            "unitDisplay": jsIntlLongShortNarrowEnum,
            // digit options
            "minimumIntegerDigits": .integer,
            "minimumFractionDigits": .integer,
            "maximumFractionDigits": .integer,
            "minimumSignificantDigits": .integer,
            "maximumSignificantDigits": .integer,
            "roundingPriority": jsIntlRoundingPriorityEnum,
            "roundingIncrement": .integer,
            "roundingMode": jsIntlRoundingModeEnum,
            "trailingZeroDisplay": jsIntlTrailingZeroDisplayEnum,
            // other options
            "notation": jsIntlNumberFormatNotationEnum,
            "compactDisplay": jsIntlLongShortEnum,
            "useGrouping": jsIntlNumberFormatGroupingEnum,
            "signDisplay": jsIntlSignDisplayEnum,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/PluralRules/PluralRules#options
    static let jsIntlPluralRulesSettings = OptionsBag(
        name: "IntlPluralRulesSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "type": jsIntlPluralRulesTypeEnum,

            // NumberFormat digit options
            "minimumIntegerDigits": .integer,
            "minimumFractionDigits": .integer,
            "maximumFractionDigits": .integer,
            "minimumSignificantDigits": .integer,
            "maximumSignificantDigits": .integer,
            "roundingPriority": jsIntlRoundingPriorityEnum,
            "roundingIncrement": .integer,
            "roundingMode": jsIntlRoundingModeEnum,

        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/RelativeTimeFormat/RelativeTimeFormat#options
    static let jsIntlRelativeTimeFormatSettings = OptionsBag(
        name: "IntlRelativeTimeFormatSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "numberingSystem": jsIntlNumberingSystemEnum,
            "style": jsIntlLongShortNarrowEnum,
            "numeric": jsIntlAutoAlwaysEnum,
        ]
    )

    // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/Segmenter/Segmenter#options
    static let jsIntlSegmenterSettings = OptionsBag(
        name: "IntlSegmenterSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum,
            "granularity": jsIntlSegmenterGranularityEnum,
        ]
    )

    static let jsIntlLocaleMatcherSettings = OptionsBag(
        name: "IntlLocaleMatcherSettings",
        properties: [
            "localeMatcher": jsIntlLocaleMatcherEnum
        ]
    )
}

// Iterator
extension OptionsBag {
    fileprivate static let jsIteratorZipModeEnum = ILType.enumeration(
        ofName: "IteratorZipMode", withValues: ["strict", "longest", "shortest"])

    static let jsIteratorZipSettings = OptionsBag(
        name: "IteratorZipSettings",
        properties: [
            "mode": jsIteratorZipModeEnum,
            "padding": .iterable(),
        ]
    )
}

// Base64
extension OptionsBag {
    fileprivate static let base64Alphabet =
        ILType.enumeration(ofName: "base64Alphabet", withValues: ["base64", "base64url"])
    fileprivate static let base64LastChunkHandling =
        ILType.enumeration(
            ofName: "base64LastChunkHandling",
            withValues: ["loose", "strict", "stop-before-partial"])

    static let toBase64Settings = OptionsBag(
        name: "ToBase64Settings",
        properties: [
            "alphabet": base64Alphabet,
            "omitPadding": .boolean,
        ])

    static let fromBase64Settings = OptionsBag(
        name: "FromBase64Settings",
        properties: [
            "alphabet": base64Alphabet,
            "lastChunkHandling": base64LastChunkHandling,
        ]
    )
}