@swift-main protocol P {} struct A: P { var p: some P = A() }