GenericOpaqueReturn.swift

protocol MyProtocol {}

struct MyImplemention: MyProtocol {}

struct MyStruct {

    func emptyView() -> some MyProtocol {
        MyImplemention()
    }

    func someView<T>(_ view: T) -> some MyProtocol where T: MyProtocol {
        MyImplemention()
    }
    
    // Error: Function declares an opaque return type, but the return statements in its body do not have matching underlying types
    func emptyOrView<T>(view: T, showView: Bool) -> some MyProtocol where T: MyProtocol {
        if showView {
            return someView(view)
        } else {
            return emptyView()
        }
    }
}

This code is fairly nonsensical and doesn't do anything, but it should compile I think? If emptyOrView returns only one of someView(view) or emptyView() it works fine. Maybe I need to read more about opaque return types.