小白： Rust 一个编译问题。

请问大佬，我下面这个代码有个问题：

use std::marker::PhantomData;

trait T1 {
    fn f();
}

trait T2<A: T1>
where
    A: T1,
{
    fn user(&self) -> A;
}

struct ImplT2<A> {
    _marker: PhantomData<A>,
}

impl<A> T2<A> for ImplT2<A>
where
    A: T1,
{
    fn user(&self) -> A {
        ImplT1 {}
    }
}

struct ImplT1;

impl T1 for ImplT1 {
    fn f() {
        print!("")
    }
}

cargo check 提供的信息：

error[E0308]: mismatched types
  --> src/iam/chain/test.rs:23:9
   |
18 | impl<A> T2<A> for ImplT2<A>
   |      - this type parameter
...
22 |     fn user(&self) -> A {
   |                       - expected `A` because of return type
23 |         ImplT1 {}
   |         ^^^^^^^^^ expected type parameter `A`, found struct `ImplT1`
   |
   = note: expected type parameter `A`
                      found struct `ImplT1`

语法检查区并不认为 A 等同于 ImplT1 。