为何Rust已加Join约束仍需为join函数添类型注解？

你遇到的核心问题是Rust类型推断在泛型关联类型（GAT）与泛型函数的交互场景下的局限性，具体拆解如下：

1. 泛型参数的独立性与命名混淆
   Join trait里的关联类型F<T>的T、join函数自身的泛型参数T、logic函数的参数T是三个完全独立的变量（只是碰巧同名）。你的where约束M: Join<F<T> = <M as Effect>::F<T>>仅保证：当Join的关联类型F使用logic函数的T作为参数时，它等于Effect的F<T>。但这个约束并没有把join函数的泛型参数和logic的T绑定起来。

2. 类型推断的模糊性
   调用M::join(b, c)时，编译器需要推导join函数的泛型参数（暂称它为U）。虽然b和c的类型是<M as Functor>::F<T>，且通过约束可推导该类型等于<M as Join>::F<T>，但编译器无法自动确定U必须等于T——因为理论上存在符合约束的M实现，使得<M as Join>::F<U>（某个其他类型U）也能匹配b/c的类型。这种潜在的模糊性导致编译器无法完成自动推断，必须要求显式指定类型参数。

3. trait设计的可优化方向
   当前每个trait（Functor/Point/Join）都独立定义了自己的F<T>关联类型，再通过约束强制它们与Effect的F<T>在特定T下相等，这种设计增加了类型推断的复杂度。如果让这些trait直接继承Effect并复用其F<T>，可以消除冗余，让类型推断更顺畅：

// 优化后的trait设计
trait Effect {
    type F<T>;
}

trait Functor: Effect {
    fn fmap<A, B>(fa: Self::F<A>, f: impl FnMut(A) -> B) -> Self::F<B>;
}

trait Point: Effect {
    fn point<A>(a: A) -> Self::F<A>;
}

trait Join: Effect {
    fn join<T>(xs: Self::F<T>, ys: Self::F<T>) -> Self::F<T>;
}

// 对应的实现无需重复定义F<T>
impl Functor for Eff {
    fn fmap<A, B>(fa: Self::F<A>, f: impl FnMut(A) -> B) -> Self::F<B> {
        fa.into_iter().map(f).collect()
    }
}

// 同理修改Point、Join、Effect的实现...

优化后，logic函数的约束可简化为M: Functor + Point + Join，调用M::join(b, c)时编译器能自动推断出正确的类型参数，无需显式注解。

内容的提问来源于stack exchange，提问作者Ireina