{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"traits::wf::clause_obligations("}]}
        traits::wf::clause_obligations(
        let normalized_bound = wfcx.normalize(span, None, bound);
            wfcx.infcx,