С каким типом данных реализованы опциональные значения (Optional) в Swift?

Optional реализован как перечисление (enum) с двумя кейсами:

enum Optional<Wrapped> {
    case none // Используется для обозначения отсутствия значения
    case some(Wrapped) // Используется для хранения присутствующего значения
}

Где Wrapped - это обобщенный тип (generic), представляющий тип значения, которое может быть обернуто в Optional.