Tool for widening literal types ?

[stefaanMLB]

Does ts-belt provide a tool to widen literal types ?
I currently have the code below. The get function extracts a configuration value out of an object with the option to pass a default value. When a default value is passed, I want the get function to return the same type like the default parameter. Problem is that without the Widen<T> conditional type, get will return a literal type (eg 3000 instead of number or host instead of string) which will causes havoc in subsequent code.

However, I don't like the Widen<T> type definition at all and have been searching the web for alternatives. This repository seems to be the place to find this kind of utility. I could't find a Widen function in ts-toolbelt, can ts-toolbelt be used for what I'm trying to do ?

export type Widen<T> = T extends string
  ? string
  : T extends number
  ? number
  : T extends boolean
  ? boolean
  : T extends undefined
  ? object
  : keyof T extends never
  ? object
  : T extends object
  ? T
  : any

  export const get = <TDefault = unknown>(
  value: object,
  path: string,
  defaultValue?: TDefault,
): Widen<TDefault> => {
  const segments = path.split(/[\.\[\]]/g)
  let current: any = value
  for (const key of segments) {
    if (current === null) return defaultValue as Widen<TDefault>
    if (current === undefined) return defaultValue as Widen<TDefault>
    if (key.trim() === '') continue
    current = current[key]
  }
  if (current === undefined) return defaultValue as Widen<TDefault>
  return current as Widen<TDefault>
}