Avatar
koher 9/3/2018 3:34 AM
まだよくわかってないですが、なんとなく、ジェネリック関数でできることか、 generalized existential で実現できることしか実現できない気がしますが、そんなことないのかなぁ・・・。
3:35 AM
↓これの最後の行はエラー？？ protocol P { } extension Int : P { } extension String : P { } func f1() -> opaque P { return "opaque" } func f2() -> opaque P { return 42 } var a = f1() a = f2()