{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                            // register isn't enabled, don't do more checks
                            self.fcx.dcx().span_err(op_sp, msg);
                            continue;