{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":".iter()"}]}
                        .iter()
                    subst_type
                        .filter(|(_, ty)| !ty.is_unknown())