@swift-main protocol P { func foo() throws } struct S: P { func foo() {} }