{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"annotations:"}]}
    annotations: &SccAnnotations<'_, '_, RegionTracker>,
    sccs: &Sccs<RegionVid, ConstraintSccIndex>,
    fr_static: RegionVid,