Swift: тип Union в оболочке свойств

В Swift вы можете указать тип объединения, используя перечисление. Например:

enum IntOrString {
    case int(Int)
    case string(String)
}

Теперь я хочу написать оболочку свойств, которую я могу применять к свойствам типа из моего типа объединения. Однако я не хочу раскрывать перечисление, которое я использую, за кулисами. Вместо этого пользователь моей оболочки свойства должен иметь возможность применить ее непосредственно к свойству String или Int.

Один из подходов будет работать следующим образом.

@propertyWrapper
struct Managed<T> {
    private var storage: IntOrString
    var wrappedValue: T {
        get {
            switch storage {
                case .int(let int):
                    return int as! T
                case .string(let string):
                    return string as! T
            }
        }
        set {
            if T.self == Int.self {
                storage = .int(newValue as! Int)
            } else if T.self == String.self {
                storage = .string(newValue as! String)
            } else {
                fatalError("Property has an illegal type")
            }
        }
    }
}

Однако, к сожалению, при таком подходе я теряю безопасность статического типа, поскольку теперь пользователь может применить Managed к свойству, которое не является ни Int, ни String, и получит ошибку времени выполнения только при попытке установить свойство.

struct Foo {
    @Managed var bar: Double
}

let foo = Foo(bar: 0) // fatal error

Насколько мне известно, я не могу указать ограничение типа для T, которое позволяет T быть только Int или String. Итак, есть ли способ в Swift обеспечить статическую безопасность типов для типов объединения в этом сценарии? Если нет, есть ли более элегантные обходные пути моего подхода?