{"ast_node_type":"function","tokens":[{"end":97,"kind":"keyword","start":0,"text":"fn"}]}
fn check_associated_type_bounds(wfcx: &WfCheckingCtxt<'_, '_>, item: ty::AssocItem, span: Span) {
/// assoc type and where clauses on the trait) hold.
    let bounds = wfcx.tcx().explicit_item_bounds(item.def_id);