{"ast_node_type":"variable","tokens":[{"end":16,"kind":"keyword","start":0,"text":"let"}]}
    let bounds =
        &*tcx.arena.alloc_from_iter(result.skip_binder().iter().copied().chain(extra_predicates));