{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"super_combine_tys(&self.type_checker.infcx.infcx,"}]}
                super_combine_tys(&self.type_checker.infcx.infcx, self, a, b)?;
                // Will also handle unification of `IntVar` and `FloatVar`.
            }