{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
                    // If that predicate doesn't hold modulo regions (but passed during type-check),
                    // then we must've taken advantage of the hack in `project_and_unify_types` where