{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
            // For additional insurance via fuzzing and crater, we verify that the constraint's min
            //
            // choice indeed escapes the function. In the future, we could e.g. turn this check into