{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"pub"}]}
    pub def: DefId,
    /// Do not access this field directly! This is public for the compiler to have access to it.