{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"///"}]}
///    ```
///    impl<T: Iterator> IntoIterator for T
///    We need to be able to prove that `Vec<$0>: !Iterator` for every type $0.