protocol P {} func foo<T: P>() -> T { fatalError() }
protocol P {} func foo() -> some P { fatalError() }
func f9() -> some P { fatalError("not implemented") // error: no return statement to get opaque type }