{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"enter_wf_checking_ctxt(tcx,"}]}
                enter_wf_checking_ctxt(tcx, tcx.local_parent(def_id), |wfcx| {
            } else if tcx.features().adt_const_params() {
                    wfcx.register_bound(