你为什么要

#[derive(Debug)]
struct Inner<V> {
    value: V,
}

struct MyStructA<V>
where
    Inner<V>: Debug,
    V: Debug,
{
    value: V,
}

而不是仅仅

struct MyStructB<V>
where
    V: Debug,
{
    value: V,
}

我特别感兴趣的是where Inner<V>: Debug添加了什么值而不是where V: Debug。编译器更关心这一点的原因是什么呢？或者这只是为了人类文档？除非我弄错了，否则where Inner<V>: Debug似乎没有添加任何额外的边界。

fn main() {
    let my_struct_a = MyStructA {
        value: Inner { value: 23 },
    };

    let my_struct_a_with_inner = MyStructA { value: 49 };

    let my_struct_b = MyStructB { value: 64 };

    let my_struct_b_with_inner = MyStructB {
        value: Inner { value: 23 },
    };
}

Playground with the code.