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