Swift: возврат случайного непрозрачного типа во время выполнения приводит к ошибке

Сейчас я изучаю непрозрачные типы, все еще немного сбивающие с толку. Я пробовал следующее:

protocol Animal {
    func introduce()
}

struct Dog: Animal {
    func introduce() {
        print("Dog")
    }
}

struct Cat: Animal {
    func introduce() {
        print("Cat")
    }
}

func random() -> some Animal {
    let value = [true, false].randomElement()!
    return value ? Cat() : Dog()
}

И в строке возврата random я получаю следующую ошибку

Result values in '? :' expression have mismatching types 'Cat' and 'Dog'

Итак, насколько я понимаю, так же, как и в Generics, компилятор должен иметь возможность решать во время компиляции, каков конкретный возвращаемый тип функции.

Я прав? Если да, то разве это сообщение не сбивает с толку, поскольку обе структуры реализуют Animal? И если я ошибаюсь, что означает это сообщение об ошибке?

Большое спасибо

РЕДАКТИРОВАТЬ: я пытаюсь понять, а не заставить это работать :)