【Swift5】Associated type指定のあるプロトコルを実装したクラスのメソッド呼び出しでエラー

Question

お世話になっております。
あるプロトコルPを実装したクラスAのメソッドを呼び出したところ、エラーが発生しておりメソッドを実行できません。
何が問題なのか、解決するにはどうすれば良いか、ご教示いただければ幸いです。

環境

Xcode version: 11.0 (11A420a)
Swift version: 5
macOS version: Mojave 10.14.6（18G87）

エラー内容

Cannot convert value of type '(Item?) -> ()' to expected argument type '(A.T?) -> Void' (aka '(Optional<Item>) -> ()')

ソースコード

protocol P {
    associatedtype T: Codable
    static func get(request: Request, completion: @escaping(_ data: T?) -> Void)
}

extension P {
    static func get(request: Request, completion: @escaping(_ data: T?) -> Void) {
            let jsonData = getSomeJsonData()
            do {
                let data = try JSONDecoder().decode(T.self, from: jsonData)
                completion(data)
            } catch {
                print(error.localizedDescription)
                completion(nil)
            }
    }
}

class A: P {
    typealias T = Item // ItemはCodableなstruct
}

class B {
    func printItem() {
        A.get(request: request) { (data: Item?) in // エラー！ Cannot convert value of type '(Item?) -> ()' to expected argument type '(A.T?) -> Void' (aka '(Optional<Item>) -> ()')
            print(data)
        }
    }
}

Comments

[takabosoft]

11.0で試しましたが、

> associatedtype Type: Codable
の時点で
Type member must not be named 'Type', since it would conflict with the 'foo.Type' expression
といったエラーが出ます。

[carpbream]

失礼しました。実際の値をTypeと適当に書き換えてしまいましたが、Typeは使えませんね。修正します。ご指摘ありがとうございました。

Answer 1

（型などはちょっと変えましたが）手元で以下のような検証コードを書いてみましたが、特にコンパイルエラー等はでませんでした。

import UIKit

protocol P {
    associatedtype T: Codable
    static func get(request: String, completion: @escaping(_ data: T?) -> Void)
}

extension P {
    static func get(request: String, completion: @escaping(_ data: T?) -> Void) {
        
    }
}

struct Item: Codable {
    var hoge: String
}

class A: P {
    typealias T = Item
}

class ViewController: UIViewController {
    
    override func touchesBegan(_ touches: Set<UITouch>, with event: UIEvent?) {
        A.get(request: "") { (data: Item?) in
            print(data!.hoge)
        }
    }
}

Comments

[takabosoft]

class BにもItemが定義されていて、そっちと競合しているとか・・・

[carpbream]

ご回答をいただきありがとうございます。ただ、class BではItemの定義はしていないため今回は別の原因かもしれません。
というか載せていただいた例を見るに、やはり書き方の間違いとかではない可能性がありますね...
キャッシュの消しそこない等含めて再度検証してみたいと思います。
ありがとうございました。

[takabosoft]

再現するシンプルなコードを載せてもらえればこちらでも（誰かが）検証は出来るとは思います。

あと、当てずっぽうですが

(data: Item?) in

は

data in

にすれば、コンパイルはひとまず通りそうな気はしました。

[carpbream]

> (data: Item?) in
> は
> data in
> にすれば、コンパイルはひとまず通りそうな気はしました。
確かに！と思い試してみましたがコンパイルも通り、挙動も想定通りのものになりました！ありがとうございます！

実際のソースコードもかなりシンプルでほぼ質問に載せた通りなのですが、商用でそのままでは載せずらいので、今回はtakebosoft様のご提案をなぞらせていただき、根本的な解決策が見つかりましたら追記させていただきます。
本当にありがとうございました。

[takabosoft]

了解です。やっぱり同じ名前の違う型がスコープ内にいる可能性がｗ