{"ast_node_type":"variable","tokens":[{"end":64,"kind":"keyword","start":0,"text":"let"}]}
            let arg: ty::GenericArg<'_> = match bound_var_kind {
        for bound_var_kind in bound_vars {
                ty::BoundVariableKind::Ty(_) => self.next_ty_var(span).into(),