我想使用rust proptest库创建一个JSON策略。但是，我不想创建一个任意的JSON。我想根据一个模式（更具体地说，OpenAPI模式）创建它。这意味着JSON的键是已知的，我不想使用任何策略创建它们，但我想使用该策略创建值（非常递归）。
我已经实现了原语类型的策略，但是我不知道如何创建JSON对象策略。
我希望策略的类型为BoxedStratedy<serde_json::Value>，或者能够将策略Map到此类型，因为JSON对象可以包含其他对象，因此我需要能够组合策略。
我发现了一个HashMapStrategy策略，但是它只能由一个hash_map函数创建，这个函数有两个策略--一个用于生成键，一个用于值。我想我可以使用Just策略来生成键，但是它没有任何结果。也许可以使用prop_filter_map。
Here是代码。也有测试。一个是通过的，因为它只测试原语类型，另一个是失败的，因为我没有找到实现generate_json_object函数的方法。
我试过了，但是类型不匹配，不是从stringMap到JSON值的策略，而是从stringMap到BoxedStrategy的策略。

fn generate_json_object(object: &ObjectType) -> BoxedStrategy<serde_json::Value> {
    let mut json_object = serde_json::Map::with_capacity(object.properties.len());
    for (name, schema) in &object.properties {
        let schema_kind = &schema.to_item_ref().schema_kind;
        json_object.insert(name.clone(), schema_kind_to_json(schema_kind));
    }
    Just(serde_json::Value::Object(json_object)).boxed()
}