exit status: 1 with stderr:
<stdin>:14:14: error: overridden method 'init' has generic signature <P where P : P2> which is incompatible with base method's generic signature <P where P : P1>; expected generic signature to be <P where P : P1> override init<P: P2>(_ p: P) { ^ <stdin>:10:5: note: overridden declaration is here init<P: P1>(_ p: P) {} ^