Struct clippy_utils::consts::ConstEvalLateContext

source ·
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§

source§

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

source

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

source

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

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

source

pub fn expr_is_empty(&mut self, e: &Expr<'_>) -> Option<bool>

Simple constant folding to determine if an expression is an empty slice, str, array, … None will be returned if the constness cannot be determined, or if the resolution leaves the local crate.

source

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

source

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

source

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

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

source

fn fetch_path_and_apply<T, F>( &mut self, qpath: &QPath<'_>, id: HirId, ty: Ty<'tcx>, f: F, ) -> Option<T>
where F: FnOnce(&mut Self, Const<'tcx>) -> Option<T>,

Lookup a possibly constant expression from an ExprKind::Path and apply a function on it.

source

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

source

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

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

source

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

source

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

Auto Trait Implementations§

§

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

§

impl<'a, 'tcx> !RefUnwindSafe for ConstEvalLateContext<'a, 'tcx>

§

impl<'a, 'tcx> !Send for ConstEvalLateContext<'a, 'tcx>

§

impl<'a, 'tcx> !Sync for ConstEvalLateContext<'a, 'tcx>

§

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

§

impl<'a, 'tcx> !UnwindSafe for ConstEvalLateContext<'a, 'tcx>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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