Assoc が @returnTypeOf(P.foo()) に推論されてそれが使えるみたいですね。associatedtype が複数箇所で使われてたら some は使えないとおもってた。