Module higher 

This module contains functions that retrieve specific elements.

Re-exports

use crate::consts::ConstEvalCtxt; 🔒

use crate::consts::Constant; 🔒

use crate::res::MaybeDef as _; 🔒

use crate::is_expn_of; 🔒

use crate::sym; 🔒

use rustc_ast::ast; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::Arm; 🔒

use rustc_hir::Block; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::LetStmt; 🔒

use rustc_hir::LocalSource; 🔒

use rustc_hir::LoopSource; 🔒

use rustc_hir::MatchSource; 🔒

use rustc_hir::Node; 🔒

use rustc_hir::Pat; 🔒

use rustc_hir::QPath; 🔒

use rustc_hir::StructTailExpr; 🔒

use rustc_lint::LateContext; 🔒

use rustc_span::Span; 🔒

use rustc_span::symbol; 🔒

Structs

CompoundAssignment

A desugared compound assignment statement, such as in (a, b) = expr.

ForLoop

The essential nodes of a desugared for loop as well as the entire span: for pat in arg { body } becomes (pat, arg, body). Returns (pat, arg, body, span).

If

An if expression without let

IfLet

An if let expression

IfOrIfLet

An if or if let expression

Range

Represent a range akin to ast::ExprKind::Range.

While

A desugared while loop

WhileLet

A desugared while let loop

Enums

IfLetOrMatch

An if let or match expression. Useful for lints that trigger on one or the other.

RangeTy

A type that can appear as the type of a range expression.

VecArgs

Represents the pre-expansion arguments of a vec! invocation.

VecInitKind

A parsed Vec initialization expression

Functions

binop

Converts a hir binary operator to the corresponding ast type.

get_vec_init_kind

Checks if the given expression is an initialization of Vec and returns its kind.

has_let_expr

Checks that a condition doesn’t have a let expression, to keep If and While from accepting if let and while let.