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