{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"tcx.types.u128,"}]}
            tcx.types.u128,
            ConstValue::Scalar(Scalar::from_u128(type_id_hash)),
            None,