Какво има с празни масиви и генерични продукти в Swift? - бързо, генерични

Наблюдавах интересна грешка по-рано днесработа с генерични лекарства в Swift. Разбрах решение, но аз се чудя дали някой може да отговори, защо компилаторът не хваща нещо подобно. Нека да започна с блок код.

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