Type Alias CanSafelyCast<From, To>

CanSafelyCast: From extends To
    ? true
    : From extends Bool
        ? true
        : From extends Int8
            ? To extends Int8
            | Int16
            | Int32
            | Int64
            | Float32
            | Float64
                ? true
                : false
            : From extends Uint8
                ? To extends | Uint8
                | Int16
                | Uint16
                | Int32
                | Uint32
                | Int64
                | Uint64
                | Float32
                | Float64
                    ? true
                    : false
                : From extends Int16
                    ? To extends Int16
                    | Int32
                    | Int64
                    | Float32
                    | Float64
                        ? true
                        : false
                    : From extends Uint16
                        ? To extends | Uint16
                        | Int32
                        | Uint32
                        | Int64
                        | Uint64
                        | Float32
                        | Float64
                            ? true
                            : false
                        : From extends Int32
                            ? To extends Int32 | Int64 | Float64 ? true : false
                            : From extends Uint32
                                ? To extends Uint32 | Int64 | Uint64 | Float64 ? true : false
                                : From extends Int64
                                    ? To extends (...) | (...) ? true : false
                                    : From extends Uint64
                                        ? (...) extends (...) ? (...) : (...)
                                        : (...) extends (...) ? (...) : (...)

type CanCast = CanSafelyCast<Int8, Int32> // true (widening)
type CannotCast = CanSafelyCast<Float64, Int32> // false (potential precision loss)
Copy