How TypeScript's extends and keyof Constraints Eliminate Runtime Property Errors

TypeScript's unconstrained generics often compile without errors but cause runtime failures when functions accept arbitrary types and string keys without validation. The extends keyword limits what types a generic parameter can accept, while the keyof operator extracts valid keys from a given type as a union. Combining these two features — as in a signature like function get<T, K extends keyof T>(obj: T, key: K): T[K] — creates a compile-time guarantee that a key actually exists on the target object. This shifts entire categories of property-access bugs from runtime to development, where they are caught immediately by the compiler. The same foundational pattern underpins type-safe factory functions, API clients, and builder utilities used in production codebases.