Function iter_all_expr_types

fn iter_all_expr_types(types: &[Option<MetaType>], first_ty: &TypeExpr) -> bool