Possible alternative for missing type equality in rust trait impl's

impl-eq-types.rs

trait F<V,X> {}

struct D;

trait TheV2 {
    type IsThis;
}

impl<V1,V2> TheV2 for F<V1,V2> {
    type IsThis = V2;
}

impl<V1,V2> F<V1,V2> for D where
    V1:F<V2,bool>,
    V2:F<usize,V1>,
    //V1==V2 // not implemented in compiler
    F<V1,V2>: TheV2<IsThis=V1> // alternative!?
{}

fn main() {
    
}