# 错误[E0784]：关联类型 `X` 上不允许类型别名约束

- **ID:** `rust/e0784-type-alias-bounds-on-associated-type`
- **领域:** rust
- **类别:** type_error
- **错误码:** `E0784`
- **验证级别:** ai_generated
- **修复率:** 88%

## 根因

在 trait 定义中对关联类型使用带有约束的类型别名（例如 `type Foo = Bar + Bound`），这在语法上存在歧义且不被支持；关联类型应使用 trait 约束。

## 版本兼容性

| 版本 | 状态 | 引入 | 弃用 |
|------|------|------|------|
| rustc 1.77.0 | active | — | — |
| rustc 1.79.0 | active | — | — |
| rustc 1.81.0 | active | — | — |

## 解决方案

1. ```
   Replace the type alias with an associated type that has a trait bound in the where clause, e.g., `type Foo: Bound;`.
   ```
2. ```
   Remove the bound from the type alias and apply it to the trait or method where the associated type is used.
   ```
3. ```
   Use a separate trait to express the bound, e.g., `trait MyTrait: BoundProvider { type Foo; }` where `BoundProvider` specifies the bound.
   ```

## 无效尝试

- **** — Parentheses create a tuple type, not a bounded type alias; the compiler will then complain about wrong types. (70% 失败率)
- **** — Changing to a generic parameter changes the trait's design and may require propagating the generic to all implementors, which is not always desirable. (60% 失败率)