ですね。 conform判定はかなり大変で、型名と準拠で決まる単純な場合に限らず、ジェネリックパラメータやconditional conformanceが関わったりするから、コンパイラにリクエスト飛ばさないとまず無理だ