Struct ExprValidator 

struct ExprValidator<'db> {
    owner: DefWithBodyId,
    body: &'db Body,
    infer: &'db InferenceResult<'db>,
    env: ParamEnv<'db>,
    diagnostics: Vec<BodyValidationDiagnostic<'db>>,
    validate_lints: bool,
    infcx: InferCtxt<'db>,
}

Fields

owner: DefWithBodyId

body: &'db Body

infer: &'db InferenceResult<'db>

env: ParamEnv<'db>

diagnostics: Vec<BodyValidationDiagnostic<'db>>

validate_lints: bool

infcx: InferCtxt<'db>

Implementations

impl<'db> ExprValidator<'db>

fn db(&self) -> &'db dyn HirDatabase

fn validate_body(&mut self)

fn validate_call( &mut self, call_id: ExprId, expr: &Expr, filter_map_next_checker: &mut Option<FilterMapNextChecker<'db>>, )

fn validate_match( &mut self, match_expr: ExprId, scrutinee_expr: ExprId, arms: &[MatchArm], )

fn is_known_valid_scrutinee(&self, scrutinee_expr: ExprId) -> bool

fn validate_block(&mut self, expr: &Expr)

fn check_non_exhaustive_let<'a>( &self, cx: &MatchCheckCtx<'a, 'db>, pattern_arena: &'a Arena<DeconstructedPat<MatchCheckCtx<'a, 'db>>>, pat: PatId, initializer: Option<ExprId>, ) -> Option<BodyValidationDiagnostic<'db>>

fn lower_pattern<'a>( &self, cx: &MatchCheckCtx<'a, 'db>, pat: PatId, have_errors: &mut bool, ) -> DeconstructedPat<MatchCheckCtx<'a, 'db>>

fn check_unused_must_use( &self, expr: ExprId, acc: &mut Vec<BodyValidationDiagnostic<'db>>, )

fn check_for_trailing_return(&mut self, body_expr: ExprId, body: &Body)

fn check_for_unnecessary_else(&mut self, id: ExprId, expr: &Expr)