{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"substs.push(ctx.provided_type_like_const(const_ty,"}]}
                        substs.push(ctx.provided_type_like_const(const_ty, konst).cast(Interner));
                        let const_ty = db.const_param_ty(param_id);
                        args.next();