どのようにして、関連する2つのタイプの形質の等価性を強制できますか？

Question

私は同じタイプの2つの引数を取る関数fと、異なる型の2つの引数をとる関数gを持っていますが、どちらの型も同じ値を格納しなければなりません。gはfに引数はfになります。

fn f<T>(a: T, b: T) {} 

trait A { 
    type A; 
    fn getter(&self) -> Self::A; 
} 

fn g<T: A, U: A>(a: T, b: U) { 
    f(a.getter(), b.getter()) 
} 

私はそれを動作させるためにgの定義に追加する必要が何をすべきか：私は現在、このような何かを実装しますか？

Answer 1

解決策が見つかりました。それはwhere句によって行わが、この方法ではない：

fn g<T: A, U: A<A = T::A>>(a: T, b: U) { // where T::A is equal to B::A 
    f(a.getter(), b.getter()) 
} 

Answer 2

はwhere句が正常に動作します：

fn g<T, U>(a: T, b: U) 
    where T: A, 
      U: A<A = T::A> // where T::A is equal to B::A 
{ 
    f(a.getter(), b.getter()) 
}