Rust中Trait泛型方法关联类型加Display约束后编译失败问题

问题代码 #

以下代码在添加E::Error: std::fmt::Display约束后编译失败，移除该约束则正常：

pub trait Foo {
    type FooType;

    fn foo<E>(x: Self::FooType) -> E
    where
        E: TryFrom<Self::FooType>,
        E::Error: std::fmt::Display; // 问题出在这里
}

struct MyFoo;

impl Foo for MyFoo {
    type FooType = MyFooType;

    fn foo<E>(x: Self::FooType) -> E
    where
        E: TryFrom<Self::FooType>,
        E::Error: std::fmt::Display, // 同样的问题
    {
        match x.try_into() {
            Ok(y) => y,
            Err(err) => panic!("Failed"),
        }
    }
}

struct MyFooType;
struct MyOtherType;

impl TryFrom<MyFooType> for MyOtherType {
    type Error = String;

    fn try_from(value: MyFooType) -> Result<Self, Self::Error> {
        Ok(MyOtherType)
    }
}

编译错误信息 #

error[E0277]: the trait bound `E: From<MyFooType>` is not satisfied
  --> src/lib.rs:15:5
   |
15 | /     fn foo<E>(x: Self::FooType) -> E
16 | |     where
17 | |         E: TryFrom<Self::FooType>,
18 | |         E::Error: std::fmt::Display,
   | |____________________________________^ the trait `From<MyFooType>` is not implemented for `E`
   |
   = note: required for `MyFooType` to implement `Into<E>`
   = note: required for `E` to implement `TryFrom<MyFooType>`
help: consider further restricting this bound
   |
17 |         E: TryFrom<Self::FooType> + std::convert::From<MyFooType>,
   |                                   +++++++++++++++++++++++++++++++

error[E0277]: the trait bound `E: From<MyFooType>` is not satisfied
  --> src/lib.rs:15:8
   |
15 |     fn foo<E>(x: Self::FooType) -> E
   |        ^^^ the trait `From<MyFooType>` is not implemented for `E`
   |
   = note: required for `MyFooType` to implement `Into<E>`
   = note: required for `E` to implement `TryFrom<MyFooType>`
help: consider further restricting this bound
   |
17 |         E: TryFrom<Self::FooType> + std::convert::From<MyFooType>,
   |                                   +++++++++++++++++++++++++++++++

错误原因 #

编译器的错误提示看似矛盾，核心问题是关联类型的约束对象被混淆：

• 我们实际想约束的是TryFrom<Self::FooType> trait为E定义的关联类型Error，但代码中写的E::Error是在约束E类型自身的关联类型Error。
• 对于MyOtherType这类类型，它本身并没有定义Error关联类型，只有TryFrom<MyFooType> trait为它实现时指定了Error=String。这种混淆导致编译器类型解析逻辑混乱，进而错误地要求E实现From<MyFooType>（这是TryFrom的自动实现路径之一，但并非我们需要的）。

修复方案 #

把约束中的E::Error替换为<E as TryFrom<Self::FooType>>::Error，明确指定是TryFrom trait的关联类型：

修复后的代码 #

pub trait Foo {
    type FooType;

    fn foo<E>(x: Self::FooType) -> E
    where
        E: TryFrom<Self::FooType>,
        <E as TryFrom<Self::FooType>>::Error: std::fmt::Display; // 修正约束
}

struct MyFoo;

impl Foo for MyFoo {
    type FooType = MyFooType;

    fn foo<E>(x: Self::FooType) -> E
    where
        E: TryFrom<Self::FooType>,
        <E as TryFrom<Self::FooType>>::Error: std::fmt::Display; // 同样修正
    {
        match x.try_into() {
            Ok(y) => y,
            Err(err) => panic!("Failed: {}", err), // 现在可以正常使用err的Display实现
        }
    }
}

struct MyFooType;
struct MyOtherType;

impl TryFrom<MyFooType> for MyOtherType {
    type Error = String;

    fn try_from(value: MyFooType) -> Result<Self, Self::Error> {
        Ok(MyOtherType)
    }
}

修改后，编译器能正确识别我们要约束的是TryFrom trait的Error类型，代码可正常编译，同时还能在panic中使用err的Display格式化能力。

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