nested typeを持つことを型の制約として表明するようにも見えて

3:15 AM

微妙そう。

3:16 AM

たとえば protocol の内側に static func をかいたとき、それは、 Foo.hoge() と呼び出せるわけじゃなくて

3:16 AM

Fooを満たす型が static func hoge を持たねばならない、っていう "制約" なので

3:17 AM

Fooを満たす型が struct Bar を持たなきゃならない、みたいに見える

3:17 AM

構文としては存在しないんで決めの問題ですけど。