In some circumstances where a lot of generics are involved, `make1` can returns a `Parent` instance instead of a `Child` instance.

test.swift

import Foundation

protocol StringContainer {
    var string: String { get }
    init(string: String)
}

class Parent: NSObject, StringContainer {
    var string: String
    required init(string: String) {
        self.string = string
    }
}

class Child: Parent {
}


// Inferrence can fail here causing `T` to default back to Parent type.
func make1<T: StringContainer>(string: String, type: T.Type) -> T {
    return T(string: string)
}

// More reliable
func make2<T: StringContainer>(string: String, type: T.Type) -> T {
    return type.init(string: string)
}

dump(make1("bee", type: Child.self).string)
dump(make2("bee", type: Child.self).string)