@swift-main protocol P {} func makeP() -> some P { return fatalError() }