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