エラーのないそれはそもそもただのTと等価だ