Provide concrete type for Generic Protocol implementation
<p>Is it possible to do following:</p>

<pre><code>protocol A: class {
    typealias T: AnyObject
}
extension A {
    func testA(a:Self, _ t:T)-&gt;Void{
        print(a, t)
    }
}
class B:A {
    typealias T = String
}
</code></pre>

<p>In other words I have protocol and want to provide concrete type just in the class which conforms it. </p>