{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
/// - a type won't be yielded more than once; in other words, the returned iterator will stop if it
/// - the yielded types don't contain inference variables (but may contain `TyKind::Error`).
///   detects a cycle in the deref chain.