Struct clippy_utils::consts::ConstEvalLateContext

pub struct ConstEvalLateContext<'a, 'tcx> {
    lcx: &'a LateContext<'tcx>,
    typeck_results: &'a TypeckResults<'tcx>,
    param_env: ParamEnv<'tcx>,
    source: ConstantSource,
    args: GenericArgsRef<'tcx>,
}

Fields

lcx: &'a LateContext<'tcx>

typeck_results: &'a TypeckResults<'tcx>

param_env: ParamEnv<'tcx>

source: ConstantSource

args: GenericArgsRef<'tcx>

Implementations

impl<'a, 'tcx> ConstEvalLateContext<'a, 'tcx>

pub fn new( lcx: &'a LateContext<'tcx>, typeck_results: &'a TypeckResults<'tcx> ) -> Self

pub fn expr(&mut self, e: &Expr<'_>) -> Option<Constant<'tcx>>

Simple constant folding: Insert an expression, get a constant or none.

fn constant_not(&self, o: &Constant<'tcx>, ty: Ty<'_>) -> Option<Constant<'tcx>>

fn constant_negate( &self, o: &Constant<'tcx>, ty: Ty<'_> ) -> Option<Constant<'tcx>>

fn multi(&mut self, vec: &[Expr<'_>]) -> Option<Vec<Constant<'tcx>>>

Create Some(Vec![..]) of all constants, unless there is any non-constant part.

fn fetch_path( &mut self, qpath: &QPath<'_>, id: HirId, ty: Ty<'tcx> ) -> Option<Constant<'tcx>>

Lookup a possibly constant expression from an ExprKind::Path.

fn index(&mut self, lhs: &Expr<'_>, index: &Expr<'_>) -> Option<Constant<'tcx>>

fn block(&mut self, block: &Block<'_>) -> Option<Constant<'tcx>>

A block can only yield a constant if it only has one constant expression.

fn ifthenelse( &mut self, cond: &Expr<'_>, then: &Expr<'_>, otherwise: Option<&Expr<'_>> ) -> Option<Constant<'tcx>>

fn binop( &mut self, op: BinOp, left: &Expr<'_>, right: &Expr<'_> ) -> Option<Constant<'tcx>>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes