{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"definitions:"}]}
    definitions: &'d IndexVec<RegionVid, RegionDefinition<'tcx>>,
    pub(crate) scc_to_annotation: IndexVec<ConstraintSccIndex, A>,
}