typescript-satisfies-operator

SKILL.md

The satisfies operator validates that an expression matches a type without changing the inferred type. This is different from type annotations (:) which widen the type.

| Annotation Style | Type vs Value | Use Case |

| : Type (colon) | Type wins | Need wider type for reassignment | | satisfies Type | Value wins | Need validation + narrow inference | | as Type | Lies to TS | Escape hatch (use sparingly!) | | No annotation | Inference | Most common - let TS infer |

Guides proper usage of TypeScript's satisfies operator vs type annotations. Use this skill when deciding between type annotations (colon) and satisfies, validating object shapes while preserving literal types, or troubleshooting type inference issues. Source: flpbalada/my-opencode-config.

View raw