Type Alias: Expect<T>
type Expect<T> = T;
Defined in: packages/overcast-core/src/types/index.ts:22
Compile-time assertion that its argument is exactly true (pair it with
Equivalent). Instantiate it in a throwaway
type _ = Expect<Equivalent<X, Y>> to fail the build when X and Y drift
apart — used to pin hand-written wire DTOs to their canonical types. Works via
the constraint: a false argument violates T extends true and is a compile
error, even when _ is unused.
Type Parameters
| Type Parameter |
|---|
T extends true |