Extract

import { Extract } from "destack:types";

Keep union members of T assignable to U.

export type Extract<T, U> = T extends U ? T : never
language/library/src/types/object.ds:48