どうなんだろう・・・

3:26 PM

そもそもconditionalの前にprotocol後付自体が珍しいんですよね

3:29 PM

https://rustbyexample.com/generics/where.html

A description

3:29 PM

Rustがいけるっぽい。 impl <A, D> MyTrait<A, D> for YourType where A: TraitB + TraitC, D: TraitE + TraitF {} YourType型が where以下の条件をみたすときに MyTrait<A, D> を conformする

3:30 PM

しかもこの例はGeneric TraitだからSwiftではできない事もしている。