{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.unify_and(&from_ty,"}]}
                self.unify_and(&from_ty, to_ty, identity)
                // Otherwise, just use unification rules.
            }