{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"if"}]}
    if found_bad_mutable_ptr && result.is_ok() {
    }
        // We found a mutable pointer inside a const where inner allocations should be immutable,