{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":")"}]}
    ) -> (Range<TyVid>, Vec<TypeVariableOrigin>) {
        value_count: usize,
        let range = TyVid::from_usize(value_count)..TyVid::from_usize(self.num_vars());