{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"value:"}]}
                value: ConstValue::Concrete(ConcreteConst { interned: ConstScalar::Unknown }),
                ty: ty.clone(),
            }