{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // Previously, method probe used `evaluate_predicate` to determine if a predicate
            // was impossible to satisfy. This did a leak check, so we must also do a leak