{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                return success(simple(Adjust::NeverToAny)(to_ty.clone()), to_ty.clone(), vec![]);
                return self.unify_and(&from_ty, to_ty, identity);