{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
        // Encode the def IDs of traits, for rustdoc and diagnostics.
        let traits = stat!("traits", || self.encode_traits());