{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// here, `A` will be covariant, but `B` is unconstrained.
    /// However, whatever it is, for `Foo` to be WF, it must be equal to `A::Item`.