型パラメータによって有効になったり無効になったりするextension

extension.swift

protocol InitWithIntProtocol {
    init(i: Int)
}

class WithInt: InitWithIntProtocol {
    required init(i: Int) {
        print(i)
    }
}

class ExType<T> {
    var value: T
    
    init(v: T) {
        self.value = v
    }
}

extension ExType where T: CustomStringConvertible {
    var description: String {
        get {
            return self.value.description
        }
    }
}

extension ExType where T: InitWithIntProtocol {
    func newValue() -> T {
        return T(i: 42)
    }
}

let v = ExType(v: WithInt(i: 21))
print(v.newValue())
//print(v.description)  // compile error