{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
                        // Record its helper attributes.
                        );
                        if def_id.krate != self.def_map.krate {