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