{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"&&"}]}
                && !universe_of_region(c.sub.as_var()).can_name(placeholder_universe))
                && c.sup == placeholder_region
                || (!exact && regions_the_same(c.sup, placeholder_region)) =>