{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
        // `region` is indeed live at both points, add a constraint between them, according to
        // variance.