OptionalAssociatedType.swift

protocol A {
    associatedtype X
    func hoge(_ arg: X)
}

extension A where X == Void {
    func hoge(_ arg: Void) {
        
    }
}

class B: A {
    
}

where句を無視して全ての型にfunc hoge(_ arg:Void)が生えていると仮定することでB.X==Voidが決定できるのではないか説 by @ezura

スコープ区切ってあげると where句完全無視説が崩れそう(´・ω・｀)？

// file1.swift
protocol A {
    associatedtype X
    func hoge(_ arg: X)
}

extension A /* where X == Void */ {
    func hoge(_ arg: Void) {
        
    }
}

class B: A {}

// file2.swift
private protocol P {}

extension A where Self: P {
    func hoge(_ arg: Int) {
        print(#function, #line)
    }
}

private struct C: A, P {
}

デフォルト実装が増えた場合は死ぬだろうと予想してましたが、ファイルを分割すれば通る…ウーン…

でもこれX==Voidを起こすとCは死にますね