AstTrait: {
    attributes: readonly ContractAttribute[];
    declarations: readonly AstTraitDeclaration[];
    id: number;
    kind: "trait";
    loc: SrcInfo;
    name: AstId;
    traits: readonly AstId[];
}