インデックス式の型をチェックします。