{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
        let normalized_bound = wfcx.normalize(span, None, bound);
    let wf_obligations = bounds.iter_identity_copied().flat_map(|(bound, bound_span)| {
        traits::wf::clause_obligations(