{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"ParamKind::Const(ty)"}]}
            ParamKind::Const(ty) => {
            ParamKind::Type => BoundVar::new(debruijn, idx).to_ty(Interner).cast(Interner),
                BoundVar::new(debruijn, idx).to_const(Interner, ty.clone()).cast(Interner)