Type inference for literal types with Object.fromEntries

fromEntries-with-literal-types.ts

type Primitive =
  | boolean
  | number
  | string
  | bigint
  | symbol
  | null
  | undefined;

type Narrowable =
  | Primitive
  | object
  | {};

type Entry<K extends PropertyKey, V> = [K, V];

/**
 * @author https://stackoverflow.com/users/2887218/jcalz
 * @see https://stackoverflow.com/a/50375286/10325032
 */
type UnionToIntersection<Union> =
  (Union extends any
    ? (argument: Union) => void
    : never
  ) extends (argument: infer Intersection) => void
      ? Intersection
      : never;

type FromEntries<T extends Entry<K, V>, K extends PropertyKey, V extends Narrowable> =
  UnionToIntersection<
    T extends [infer Key, infer Value]
      ? Key extends PropertyKey
        ? Record<Key, Value>
        : never
      : never
  >

function fromEntries<T extends Entry<K, V>, K extends PropertyKey, V extends Narrowable>(
  entries: Iterable<T>,
): FromEntries<T, K, V> {
  return [...entries].reduce(
    (accumulator, [key, value]) =>
      Object.assign(accumulator, {
        [key.toString()]: value,
      }),
    {} as FromEntries<T, K, V>,
  );
}

fromEntries([
  ['foo', 1],
  ['bar', 2]
]); // #ExpectType { foo: 1, bar: 2}

Use this definition to overload Object.fromEntries:

type Primitive =
  | boolean
  | number
  | string
  | bigint
  | symbol
  | null
  | undefined;

type Narrowable =
  | Primitive
  | object
  | {};

type Entry<K extends PropertyKey, V> = [K, V];

/**
 * @author https://stackoverflow.com/users/2887218/jcalz
 * @see https://stackoverflow.com/a/50375286/10325032
 */
type UnionToIntersection<Union> =
  (Union extends any
    ? (argument: Union) => void
    : never
  ) extends (argument: infer Intersection) => void
      ? Intersection
      : never;

type FromEntries<T extends Entry<K, V>, K extends PropertyKey, V extends Narrowable> =
  UnionToIntersection<
    T extends [infer Key, infer Value]
      ? Key extends PropertyKey
        ? { [Property in Key]: Value }
        : never
      : never
  >

declare global {
  interface ObjectConstructor {
    fromEntries<T extends Entry<K, V>, K extends PropertyKey, V extends Narrowable>(entries: Iterable<T>): FromEntries<T, K, V>
  }
}

Object.fromEntries([
  ['foo', 1],
  ['bar', 2]
]); // #ExpectType { foo: 1, bar: 2}