标记Trait

标记Trait是没有必需属性的Trait。也就是说，您可以在不实现任何方法的情况下实现 Impl 没有 required 属性似乎没有意义，但由于注册了它属于 trait 的信息，因此可以使用 patch 方法或由编译器进行特殊处理

所有标记Trait都包含在"标记"Trait中 作为标准提供的"光"是一种标记Trait

Light = Subsume Marker

Person = Class {.name = Str; .age = Nat} and Light

M = Subsume Marker

MarkedInt = Inherit Int, Impl := M

i = MarkedInt.new(2)
assert i + 1 == 2
assert i in M

标记类也可以使用 Excluding 参数排除

NInt = Inherit MarkedInt, Impl := N, Excluding: M