pub const doc_notable_trait: Symbol;