Struct rustc_mir::transform::check_consts::validation::Validator

pub struct Validator<'mir, 'tcx> {
    ccx: &'mir ConstCx<'mir, 'tcx>,
    qualifs: Qualifs<'mir, 'tcx>,
    span: Span,
}

Fields

ccx: &'mir ConstCx<'mir, 'tcx>

qualifs: Qualifs<'mir, 'tcx>

span: Span

The span of the current statement.

Implementations

impl<'mir, 'tcx> Validator<'mir, 'tcx>

pub fn new(ccx: &'mir ConstCx<'mir, 'tcx>) -> Self

pub fn check_body(&mut self)

pub fn qualifs_in_return_place(&mut self) -> ConstQualifs

pub fn check_op(&mut self, op: impl NonConstOp)

Emits an error if an expression cannot be evaluated in the current context.

pub fn check_op_spanned(&mut self, op: impl NonConstOp, span: Span)

Emits an error at the given span if an expression cannot be evaluated in the current context.

fn check_static(&mut self, def_id: DefId, span: Span)

Methods from Deref<Target = ConstCx<'mir, 'tcx>>

pub fn const_kind(&self) -> ConstContext

Returns the kind of const context this Item represents (const, static, etc.).

Panics if this Item is not const.

Trait Implementations

impl<'mir, 'tcx> Deref for Validator<'mir, 'tcx>

type Target = ConstCx<'mir, 'tcx>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'tcx, 'mir> Visitor<'tcx> for Validator<'mir, 'tcx>

fn visit_basic_block_data(
    &mut self,
    bb: BasicBlock,
    block: &BasicBlockData<'tcx>
)

fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

fn visit_operand(&mut self, op: &Operand<'tcx>, location: Location)

fn visit_projection_elem(
    &mut self,
    place_local: Local,
    proj_base: &[PlaceElem<'tcx>],
    elem: PlaceElem<'tcx>,
    context: PlaceContext,
    location: Location
)

fn visit_source_info(&mut self, source_info: &SourceInfo)

fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location)

fn visit_terminator(
    &mut self,
    terminator: &Terminator<'tcx>,
    location: Location
)

fn visit_body(&mut self, body: &Body<'tcx>)

fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData)

fn visit_assign(
    &mut self,
    place: &Place<'tcx>,
    rvalue: &Rvalue<'tcx>,
    location: Location
)

fn visit_assert_message(
    &mut self,
    msg: &AssertKind<Operand<'tcx>>,
    location: Location
)

fn visit_ascribe_user_ty(
    &mut self,
    place: &Place<'tcx>,
    variance: &Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

fn visit_coverage(&mut self, coverage: &Coverage, location: Location)

fn visit_retag(
    &mut self,
    kind: &RetagKind,
    place: &Place<'tcx>,
    location: Location
)

fn visit_place(
    &mut self,
    place: &Place<'tcx>,
    context: PlaceContext,
    location: Location
)

fn visit_projection(
    &mut self,
    local: Local,
    projection: &[ProjectionElem<Local, &'tcx TyS<'tcx>>],
    context: PlaceContext,
    location: Location
)

fn super_place(
    &mut self,
    place: &Place<'tcx>,
    context: PlaceContext,
    location: Location
)

fn super_projection(
    &mut self,
    local: Local,
    projection: &[ProjectionElem<Local, &'tcx TyS<'tcx>>],
    context: PlaceContext,
    location: Location
)

fn super_projection_elem(
    &mut self,
    _local: Local,
    _proj_base: &[ProjectionElem<Local, &'tcx TyS<'tcx>>],
    elem: ProjectionElem<Local, &'tcx TyS<'tcx>>,
    _context: PlaceContext,
    location: Location
)

fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)

fn visit_span(&mut self, span: &Span)

fn visit_ty(&mut self, ty: &'tcx TyS<'tcx>, TyContext)

fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)

fn visit_user_type_annotation(
    &mut self,
    index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation<'tcx>
)

fn visit_region(&mut self, region: &&'tcx RegionKind, Location)

fn visit_const(&mut self, constant: &&'tcx Const<'tcx>, Location)

fn visit_substs(&mut self, substs: &&'tcx List<GenericArg<'tcx>>, Location)

fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

fn visit_local(
    &mut self,
    _local: &Local,
    _context: PlaceContext,
    _location: Location
)

fn visit_source_scope(&mut self, scope: &SourceScope)

fn super_body(&mut self, body: &Body<'tcx>)

fn super_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &BasicBlockData<'tcx>
)

fn super_source_scope_data(&mut self, scope_data: &SourceScopeData)

fn super_statement(&mut self, statement: &Statement<'tcx>, location: Location)

fn super_assign(
    &mut self,
    place: &Place<'tcx>,
    rvalue: &Rvalue<'tcx>,
    location: Location
)

fn super_terminator(
    &mut self,
    terminator: &Terminator<'tcx>,
    location: Location
)

fn super_assert_message(
    &mut self,
    msg: &AssertKind<Operand<'tcx>>,
    location: Location
)

fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)

fn super_ascribe_user_ty(
    &mut self,
    place: &Place<'tcx>,
    _variance: &Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

fn super_coverage(&mut self, _kind: &Coverage, _location: Location)

fn super_retag(
    &mut self,
    _kind: &RetagKind,
    place: &Place<'tcx>,
    location: Location
)

fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

fn super_source_scope(&mut self, _scope: &SourceScope)

fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)

fn super_span(&mut self, _span: &Span)

fn super_source_info(&mut self, source_info: &SourceInfo)

fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)

fn super_user_type_annotation(
    &mut self,
    _index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation<'tcx>
)

fn super_ty(&mut self, _ty: &'tcx TyS<'tcx>)

fn super_region(&mut self, _region: &&'tcx RegionKind)

fn super_const(&mut self, _const: &&'tcx Const<'tcx>)

fn super_substs(&mut self, _substs: &&'tcx List<GenericArg<'tcx>>)

fn visit_location(&mut self, body: &Body<'tcx>, location: Location)