The type must be present in the derivation hierarchy.

• 该类型必须存在于派生层次结构中。