Primitive type TraitDefinition

A compile-time type which represents a trait definition such as trait Foo { .. }.

A TraitDefinition is passed as the first argument to a macro attribute on top of a trait:

#[attr]
trait Foo {}

comptime fn attr(trait_definition: TraitDefinition) {
    println(trait_definition); // outputs "Foo"
}