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