Type Alias Satisfies<T, Base>

Satisfies: T

Constrains T to extend Base at compile time while preserving T's exact inferred shape in tooltips and assignability checks.

Type Parameters

T extends Base
Concrete type being validated.
Base
Constraint that T must extend.

Example

type Endpoint = Satisfies<
  { method: "GET"; path: "/users" },
  { method: "GET" | "POST"; path: string }
>;
//   ^? { method: "GET"; path: "/users" }