{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"success("}]}
            success(
        self.unify_raw(a, b).and_then(|InferOk { value: ty, obligations }| {
                adjustments