Using keyof in Generic Constraints

Understand how keyof constrains a parameter to the keys of another type.

In function get<T, K extends keyof T>(obj: T, key: K), what does K extends keyof T ensure?