{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
        // self is a built-in attr, built-in type or tool module.
        // self.krate() returns None if
        // it is not allowed for these defs to be renamed.