{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                    // If we allowed this, we're in miri-unleashed mode, so we might
                    });
                    // as well skip the remaining checks.