{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"///"}]}
/// generic parameter of `param_index`.
/// parameter whose index is `param_index`. A `BoundVar` is free when it appears after the
fn fallback_bound_vars<T: TypeFoldable<Interner> + HasInterner<Interner = Interner>>(