↑についてだけど、 module A で C1 を宣言し、 module B で C1 の extension で convenience init<X: P1>(_ x: X) を作り、 module C で C2 の init<X: P2>(_ x: X) を作ったらどうなるんだろう？（試せばわかる話だけど・・・） (edited)