Rust编译报错‘overflow evaluating the requirement’求解

这段代码的编译溢出错误，根源在于关联类型的约束写法触发了编译器的递归检查循环。

原代码中，你将Self::Foo: FooTrait作为关联类型Foo的where约束，这会让编译器在验证BarImpl的关联类型实现时，反复尝试确认<BarImpl as BarTrait>::Foo是否满足约束——但这个类型本身就是你正在定义的关联类型，导致编译器陷入无限递归的检查逻辑，最终抛出E0275溢出错误。

修正方法很简单，只需调整约束的位置或写法，避免递归检查：

写法一：将约束移到Trait的where子句 #

pub trait FooTrait {}

pub trait BarTrait
where
    Self::Foo: FooTrait,
{
    type Foo;
}

struct FooImpl {}

impl FooTrait for FooImpl {}

struct BarImpl {}

impl BarTrait for BarImpl {
    type Foo = FooImpl;
}

写法二：直接在关联类型定义时绑定约束 #

pub trait FooTrait {}

pub trait BarTrait {
    type Foo: FooTrait;
}

struct FooImpl {}

impl FooTrait for FooImpl {}

struct BarImpl {}

impl BarTrait for BarImpl {
    type Foo = FooImpl;
}

两种写法都能让编译器正确解析约束，避免递归检查，代码可以正常编译。

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