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