@swift-main protocol P { func foo() -> Int? } struct S: P { func foo() -> Int { 0 } }