const X = { a: 1, b: 2, c: 3, d: 4 } function getProperty(obj, key) { // Task to type the function return obj[key] } getProperty(X, 'a') // sem erro getProperty(X, 'r') // erro, a chave r não é uma chave de X getProperty({ name: 'Sergey' }, 'name') // sem erro

Чтобы типизировать функцию getProperty так, чтобы ключ был строго из ключей объекта, можно использовать дженерики с ограничением ключа через keyof:

const X = { a: 1, b: 2, c: 3, d: 4 };

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

getProperty(X, 'a'); // Ок
getProperty(X, 'r'); // Ошибка: 'r' не является ключом X
getProperty({ name: 'Sergey' }, 'name'); // Ок

Здесь K extends keyof T гарантирует, что ключ key принадлежит объекту obj, а возвращаемый тип соответствует типу значения по этому ключу.