Betrachten Sie den folgenden Spielplatz:

import Foundation

protocol StringInitable {
    init( string:String )
}

class A : StringInitable {
    var stored:String

    required init ( string:String ) {
        stored = string
    }
}

class B : A /*, StringInitable */ {
    var another_stored:String

    required init ( string:String ) {
        another_stored = "B-store"

        super.init(string: string)
    }
}

func maker<T:StringInitable>(string:String) -> T {
    return T(string: string)
}

let instanceA = A(string: "test-maker-A")
let instanceB = B(string: "test-maker-B")

let makerA:A = maker("test-maker-A")
let makerB:B = maker("test-maker-B")

let typeInstanceA = _stdlib_getTypeName(instanceA)
let typeMakerA = _stdlib_getTypeName(makerA)

let typeInstanceB = _stdlib_getTypeName(instanceB)
let typeMakerB = _stdlib_getTypeName(makerB)

Aus den Ergebnissen scheint der Compiler die richtigen Typen abgeleitet zu haben, konnte jedoch die richtigen Initialisierer nicht aufrufen. Warum muss ich StringInitable explizit in der B-Klasse implementieren (Test durch Entfernen des Kommentars in der B-Klassendefinition), damit die generische Funktion "maker" den richtigen Initialisierer aufruft?