{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"universal_regions:"}]}
    universal_regions: &'a UniversalRegions<'tcx>,
    directions: &'a mut BTreeMap<RegionVid, ConstraintDirection>,
}