{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":".at(&cause,"}]}
                            .at(&cause, fcx.param_env)
                        if fcx
                            .eq(DefineOpaqueTypes::Yes, src_obj, dst_obj)