protocol A { associatedtype B associatedtype C where C == B.Hoge } struct D: A { typealias B = String typealias C = String }
where C == B.Hoge のHogeという型がBに無いのにコンパイルが通ってしまった。protocol A { associatedtype B associatedtype C where C == B.Hoge } struct D: A { typealias B = String typealias C = String }
where C == B.Hoge のHogeという型がBに無いのにコンパイルが通ってしまった。where句の制約は無視されるようになってしまいました