typescript inの注意点

inは型の絞り込みとmapped typesの二つの性質を持つ。