{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"fcx.register_wf_obligation(expected_type.into(),"}]}
        fcx.register_wf_obligation(expected_type.into(), body.value.span, wf_code);
        let wf_code = ObligationCauseCode::WellFormed(Some(WellFormedLoc::Ty(def_id)));