编译通过了，再来答题可否？

@earthengine 你的要求可以达到，但Trait约束必须使用where子句，并且要在泛型块里声明所有相关类型。 impl<AA,F,T> SA where AA: A<F,T>, F: Fs, T: Ts { ... }

编译通过了，再来答题。

@earthengine 你的要求可以达到，但Trait约束必须使用where子句，并且要在泛型块里声明所有相关类型。 impl<AA,F,T> SA where AA: A<F,T>, F: Fs, T: Ts { ... }

你的要求可以达到，但Trait约束必须使用where子句，并且要在泛型块里声明所有相关类型。

impl<AA,F,T> SA<AA>
where AA: A<F,T>, F: Fs, T: Ts
{ 
...
} 

你的类型得写在具体的函数下面：

trait Fs {
    fn fs(&self);
}

trait Ts {
    fn ts(&self);
}

trait A<F: Fs, T: Ts> { }

struct SA<IA> {
    t:IA,
}
impl<IA> SA<IA>  { 
    fn method_in_SA<F,T>(&self)where IA:A<F,T>, F:Fs, T:Ts {
        //...
    }
}

fn main(){}

差不多是这个意轏，谢谢啊，我自己写下代码试一下

写了一个简易版本，不知道符不符合题意。

trait A<T: IntoIterator, U: Ord> {
    fn run(self) -> bool;
}

struct AA<T, U: Ord> {
    values: T,
    key: U,
}

impl<T, U> A<T, U> for AA<T, U>
where
    T: IntoIterator<Item = U>,
    U: Ord,
{
    fn run(self) -> bool {
        let key = self.key;
        self.values.into_iter().any(move |v| v == key)
    }
}

fn main() {
    let v = AA {
        values: vec![1, 2, 3],
        key: 2,
    };
    println!("{:?}", v.run());
}

或许楼主可以试试关联类型。