请参见下面的自包含示例。编译器在最后一行（由标记为COMPILE ERROR）报告错误，在该行中，我将实例分配给SimpleTrain它（根据我的最佳判断）符合的协议类型。如何编译？我究竟做错了什么？还是这个编译器问题？

protocol Train {
    typealias CarriageType

    func addCarriage(carriage: CarriageType)
    func shortTrain<ShortType: Train where ShortType.CarriageType == CarriageType>() -> ShortType
}

class SimpleTrain<T> : Train {
    typealias CarriageType = T
    private var carriages: [T] = [T]()

    func addCarriage(carriage: T) {
       carriages.append(carriage)
    }

    func shortTrain<ShortType: Train where ShortType.CarriageType == CarriageType>() -> ShortType {
        let short = SimpleTrain<T>()
        short.addCarriage(carriages[0])
        return short //COMPILE ERROR: SimpleTrain<T> is not convertible to 'ShortType'
    }
}

编辑： 即使我明确地向下转换了shortTrain上面的返回类型（以便上面的代码片段的最后一行读取return short asShortType），如安东尼奥在调用函数时仍然存在编译错误shortTrain：

let s = SimpleTrain<String>()
s.addCarriage("Carriage 1")
s.addCarriage("Carriage 2")

let a = s.shortTrain() //ERROR: Cannot convert the expression's type '()' to type 'Train'
let b = s.shortTrain<SimpleTrain<String>>() //ERROR: cannot explicitly specialize a generic function