Swift Generics (тип substitution?)

Question

Это изолированный пример, поэтому может показаться менее полезным, но мне все равно интересно, почему это не работает? Любое понимание очень ценится.

protocol Prot: class { 
    init() 
} 

class A: Prot { 
    required init(){ } 
} 

struct Client<T: Prot> { 
    let tau: T.Type 
} 

if let aTau = A.self as? Prot.Type { 
    print(aTau === A.self) // ✅ 
    Client(tau: A.self)  // ✅ 
    Client(tau: aTau)  // ❌ 
} 

Ошибка:

Cannot invoke initializer for type 'Client<_>' with an argument list of type '(tau: Prot.Type)' 

Answer 1

Родовое Client класс нужен конкретный тип для специализации - то есть класс/структура/перечислений, и Prot.Type не соответствует этому требованию. Вот почему вы получаете ошибку.