E4100

该类型不是一个特征。

该错误发生在您尝试使用 typealias 语法定义一个类型的别名，并将其用作特征时。由于无法将类型用作特征，因此该错误可能会提示您代码中的错误。

错误示例

type Original Int

typealias Alias = Original

trait Trait: Alias {
  //         ^~~~~
  // Error: The type Alias is not a trait
}

建议

如果代码中存在拼写错误，应当使用正确的特征或特征别名。

trait Original {
  to_int(Self) -> Int
}

typealias Alias = Original

trait Trait: Alias {
  to_int(Self) -> Int
}

我们建议使用 traitalias 定义特征的别名，这样可以更早地检测到此类错误。