ポスト
default側で型変数にトレイト境界がついていて、specialized側でトレイト境界を満たさないパターンもあるのね play.rust-lang.org/?version=night…
メニューを開くyasuo_ozu@yasuo_ozu
#Rustlang こういう T :> Option<T> みたいな、部分的なspecializationをサポートするのは自明じゃないな play.rust-lang.org/?version=night…
みんなのコメント
メニューを開く
すなわち default impl<T: Clone> Trait for T {} impl Trait for MyType {} みたいなspecializationが許される。(MyType: Clone かどうかに関わらず)