{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
///    We need to be able to prove that `Vec<$0>: !Iterator` for every type $0.
///    ```
///    We can observe that this holds in the current crate, but we need to make