{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"debug!(\"RegionConstraintCollector:"}]}
        debug!("RegionConstraintCollector: glb_regions({:?}, {:?})", a, b);
        // cannot add constraints once regions are resolved
        if a.is_static() {