{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"statement.kind,"}]}
                            statement.kind, left_ty, right_ty,
                            right-hand side has type: {}",
                        ),