{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"\"equating"}]}
                                "equating {:?} with {:?} yields {:?}",
                                rvalue,
                                ty_fn_ptr_from,