객체에서 T 추론
user 객체를 보고 name, age, city 속성을 가진 타입을 만듭니다.
추론이 지나가는 순서
keyof T 계산
가능한 키는 "name" | "age" | "city" 유니온이 됩니다.
K 제한
"address"처럼 목록 밖의 문자열은 인자로 받을 수 없습니다.
값 타입 반환
key가 "age"이면 결과는 number, "name"이면 string입니다.
통과
getProperty(user, "age") → number
차단
getProperty(user, "address") → key 오류