¿Qué pasa con las matrices vacías y los genéricos en Swift? - Rápido, genéricos

Encontré un error interesante hoy temprano cuandoTrabajando con genéricos en Swift. Encontré una solución, pero me pregunto si alguien puede responder por qué el compilador no detecta algo como esto. Permítame comenzar con un bloque de código.

func doSomething<T>(with array: [T]) {
type(of: array)     // Optional<Array<Int>>
array is [Int]      // true