WTF Swift generics?

generics.swift

#!/usr/bin/env xcrun swift

import Foundation

class Base {
}

class Sub : Base {
}

func create<T : Base>() -> T {
  println("param is: " + NSStringFromClass(T))
  return T()
}

let o1: Sub = create()
println("result is: " + NSStringFromClass(o1.dynamicType))

$ ./generics.swift 
param is: generics.Sub
result is: generics.Base

The result should also be of type Sub, shouldn't it?

maybe it isn't until it needs to be? the type is dynamic?

FWIW

let o2: Sub = Base()

correctly leads to

error: 'Base' is not convertible to 'Sub'

Submitted as a radar: http://www.openradar.me/19357437