Function assertInfoType

assertInfoType<
    expectedTag extends
        | 0
        | 1
        | 16
        | 4
        | 8
        | 7
        | 9
        | 10
        | 11
        | 3
        | 5
        | 6
        | 12
        | 15
        | 17
        | 18
        | 19
        | 20
        | (
            | 0
            | 1
            | 3
            | 4
            | 5
            | 6
            | 7
            | 8
            | 9
            | 10
            | 11
            | 12
            | 15
            | 16
            | 17
            | 18
            | 19
            | 20
        )[],
>(
    expectedTag: expectedTag,
    entryIndex: number,
    entry: constantPoolEntry,
    name: string,
): asserts entry is findInfoTypeByTag<
    expectedTag extends any[]
        ? expectedTag<expectedTag>[number]
        : expectedTag,
>