{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"type_vars:"}]}
    type_vars: (Range<TyVid>, Vec<TypeVariableOrigin>),
    region_vars: (Range<RegionVid>, Vec<RegionVariableOrigin>),
    int_vars: Range<IntVid>,