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