@swift-5.6.3 protocol P {} extension Never: P {} func makeP() -> some P { return fatalError() }