{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
    let loc = Some(WellFormedLoc::Ty(item_id));
) -> Result<(), ErrorGuaranteed> {
    enter_wf_checking_ctxt(tcx, item_id, |wfcx| {