うーん、 Error は飛べるけど、 Error のプロトコル宣言になにか意味があるわけじゃないし、 Error が AnyXxx 系と同じく特別扱いでも不思議じゃないと思うんよね。