49 lines
2.2 KiB
Plaintext
49 lines
2.2 KiB
Plaintext
|
if let Some(higher::ForLoop { pat: pat, arg: arg, body: body, .. }) = higher::ForLoop::hir(expr)
|
||
|
|
&& let PatKind::Binding(BindingAnnotation::NONE, _, name, None) = pat.kind
|
||
|
|
&& name.as_str() == "i"
|
||
|
|
&& let ExprKind::Struct(qpath, fields, None) = arg.kind
|
||
|
|
&& matches!(qpath, QPath::LangItem(LangItem::Range, _))
|
||
|
|
&& fields.len() == 2
|
||
|
|
&& fields[0].ident.as_str() == "start"
|
||
|
|
&& let ExprKind::Lit(ref lit) = fields[0].expr.kind
|
||
|
|
&& let LitKind::Int(0, LitIntType::Unsuffixed) = lit.node
|
||
|
|
&& fields[1].ident.as_str() == "end"
|
||
|
|
&& let ExprKind::Lit(ref lit1) = fields[1].expr.kind
|
||
|
|
&& let LitKind::Int(1, LitIntType::Unsuffixed) = lit1.node
|
||
|
|
&& let ExprKind::Block(block, None) = body.kind
|
||
|
|
&& block.stmts.len() == 1
|
||
|
|
&& let StmtKind::Semi(e) = block.stmts[0].kind
|
||
|
|
&& let ExprKind::Block(block1, None) = e.kind
|
||
|
|
&& block1.stmts.len() == 1
|
||
|
|
&& let StmtKind::Semi(e1) = block1.stmts[0].kind
|
||
|
|
&& let ExprKind::Call(func, args) = e1.kind
|
||
|
|
&& let ExprKind::Path(ref qpath1) = func.kind
|
||
|
|
&& match_qpath(qpath1, &["$crate", "io", "_print"])
|
||
|
|
&& args.len() == 1
|
||
|
|
&& let ExprKind::Call(func1, args1) = args[0].kind
|
||
|
|
&& let ExprKind::Path(ref qpath2) = func1.kind
|
||
|
|
&& args1.len() == 2
|
||
|
|
&& let ExprKind::AddrOf(BorrowKind::Ref, Mutability::Not, inner) = args1[0].kind
|
||
|
|
&& let ExprKind::Array(elements) = inner.kind
|
||
|
|
&& elements.len() == 2
|
||
|
|
&& let ExprKind::Lit(ref lit2) = elements[0].kind
|
||
|
|
&& let LitKind::Str(s, _) = lit2.node
|
||
|
|
&& s.as_str() == ""
|
||
|
|
&& let ExprKind::Lit(ref lit3) = elements[1].kind
|
||
|
|
&& let LitKind::Str(s1, _) = lit3.node
|
||
|
|
&& s1.as_str() == "\n"
|
||
|
|
&& let ExprKind::AddrOf(BorrowKind::Ref, Mutability::Not, inner1) = args1[1].kind
|
||
|
|
&& let ExprKind::Array(elements1) = inner1.kind
|
||
|
|
&& elements1.len() == 1
|
||
|
|
&& let ExprKind::Call(func2, args2) = elements1[0].kind
|
||
|
|
&& let ExprKind::Path(ref qpath3) = func2.kind
|
||
|
|
&& args2.len() == 1
|
||
|
|
&& let ExprKind::AddrOf(BorrowKind::Ref, Mutability::Not, inner2) = args2[0].kind
|
||
|
|
&& let ExprKind::Path(ref qpath4) = inner2.kind
|
||
|
|
&& match_qpath(qpath4, &["i"])
|
||
|
|
&& block1.expr.is_none()
|
||
|
|
&& block.expr.is_none()
|
||
|
|
{
|
||
|
|
// report your lint here
|
||
|
|
}
|