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