【TS/ジェネリクス】コードを要素分解したいです！！

Question

前提・実現したいこと

該当のソースコードの意味を理解したいです。

発生している問題・エラーメッセージ

下記のソースコードが要素分解できません。

以下の二つの意味はわかります。
extends　→　継承
hoge ? 〇〇 : ×× → 条件

該当のソースコード

type Test<T> = {
  [P in keyof T]: T[P] extends string ? P : never
}[keyof T]

試したこと

お詳しい方、ご教授いただけると幸いです。

Answer 1

extends　→　継承

この場合は微妙に意味が違って、「T[P] extends string」が三項演算子の中で使われることで、「T[P]がstring派生の型なら」という条件として使われています。