{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"//"}]}
        // variance.
        // `region` is indeed live at both points, add a constraint between them, according to
        if let Some(&direction) = live_region_variances.get(&region) {