Swift：実行時の一般的な型推論

Question

奇妙な一般的な振る舞いを見て、私が私の理解の中で何かを見逃していると信じさせる。

次のメソッドを使用して、JSON応答をループしてジェネリックメソッドを呼び出します。 User、CardとEcardすべてが順番に

let props:[(label:String, type:IDObject.Type)] = [ 
    (label: "deletedUsers", type: User.self), 
    (label: "deletedCards", type: Card.self), 
    (label: "deletedECards", type: Ecard.self) 
] 

for prop in props { 
    if let ids = json[prop.label].arrayObject as? [Int], ids.count > 0 { 
     DataManager.shared.delete(prop.type, ids: ids) 
    } 
} 

func delete<T:IDObject>(_ type:T.Type, ids:[Int]) { 
    guard ids.count > 0 else { return } 
    if let objectsToDelete = objects(type, where: NSPredicate(format: "identifier IN %@", ids)) { 
     delete(objectsToDelete) 
    } 
} 

func delete<T:Object>(_ objects:Results<T>) { 
    guard objects.count > 0 else { return } 
    do { 
     let realm = try Realm() 
     try realm.write { 
      realm.delete(objects) 
     } 
    } catch { 
     print(error) 
    } 
} 

delete(_ type:T.Type, ids:[Int])機能は、ジェネリック型をこのように推測することはできませんObject（レルムクラス）から継承され、IDObjectから継承します。

ただし、for prop in propsループをアンラッピングすると、正常に動作します。

if let userIds = json["deletedUsers"].arrayObject as? [Int], userIds.count > 0 { 
    DataManager.shared.delete(User.self, ids: userIds) 
} 

ジェネリックはコンパイル時にのみ動作しますか、実行時にこれを動的に処理する方法はありますか？