Type Alias Promote<A, B>

Promote: A extends B
    ? A
    : A extends Bool
        ? B
        : B extends Bool
            ? A
            : A extends Int8
                ? B extends Uint8
                    ? Int16
                    : B extends Uint16
                        ? Int32
                        : B extends Uint32
                            ? Int64
                            : B extends Uint64
                                ? Float64
                                : DTypeFromIndex<
                                    Max<PromotionIndexOf<(...)>, PromotionIndexOf<(...)>>,
                                >
                : A extends Uint8
                    ? B extends Int8
                        ? Int16
                        : DTypeFromIndex<Max<PromotionIndexOf<A>, PromotionIndexOf<B>>>
                    : A extends Int16
                        ? B extends Uint8
                            ? Int16
                            : B extends Uint16
                                ? Int32
                                : B extends Uint32
                                    ? Int64
                                    : B extends Uint64 ? Float64 : DTypeFromIndex<(...)>
                        : A extends Uint16
                            ? B extends Int8
                                ? Int32
                                : B extends Int16 ? Int32 : DTypeFromIndex<Max<(...), (...)>>
                            : A extends Int32
                                ? B extends Uint8
                                    ? Int32
                                    : B extends Uint16 ? Int32 : (...) extends (...) ? (...) : (...)
                                : A extends Uint32
                                    ? B extends Int8 ? Int64 : (...) extends (...) ? (...) : (...)
                                    : A extends Int64
                                        ? (...) extends (...) ? (...) : (...)
                                        : (...) extends (...) ? (...) : (...)

type Result = Promote<Int32, Float32> // Float32
type Result2 = Promote<Bool, Int8> // Int8
type Result3 = Promote<Float32, Float64> // Float64
type Result4 = Promote<Int8, Uint8> // Int16 (mixed signedness)
Copy