exit status: 1 with stderr:
<stdin>:16:8: error: type 'S' does not conform to protocol 'PHolder' struct S : PHolder { ^ <stdin>:10:20: note: ambiguous inference of associated type 'PType': 'some P' vs. 'some P' associatedtype PType: P ^ <stdin>:20:10: note: matching requirement 'take2()' to this declaration inferred associated type to 'some P' func take2() -> some P { ^ <stdin>:17:10: note: matching requirement 'take1()' to this declaration inferred associated type to 'some P' func take1() -> some P { ^