{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"var_infos:"}]}
    var_infos: VarInfos,
    region_rels: &'cx RegionRelations<'cx, 'tcx>,
    data: RegionConstraintData<'tcx>,