{"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// fn bar<T>() where T: for<'a> Trait<'a> + Copy {} // no overarching `bound_vars` here!
    ///
    /// //                ^  ^^^^^^^^^^^^^^^^^^^^^^^^ `hir_bounds`, in HIR form