{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"self.cast_ty.to_string()"}]}
                                self.cast_ty.to_string()
                            } else {
                            };