[−][src]Struct rustc_mir::transform::check_consts::validation::Validator

pub struct Validator<'mir, 'tcx> {
    ccx: &'mir ConstCx<'mir, 'tcx>,
    qualifs: Qualifs<'mir, 'tcx>,
    span: Span,
    error_emitted: Option<ErrorReported>,
    secondary_errors: Vec<Diagnostic>,
}

Fields

ccx: &'mir ConstCx<'mir, 'tcx>qualifs: Qualifs<'mir, 'tcx>span: Span

The span of the current statement.

error_emitted: Option<ErrorReported>secondary_errors: Vec<Diagnostic>

Implementations

`impl<'mir, 'tcx> Validator<'mir, 'tcx>`[src]

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

`pub fn check_body(&mut self)`[src]

`pub fn qualifs_in_return_place(&mut self) -> ConstQualifs`[src]

`pub fn check_op(&mut self, op: impl NonConstOp)`[src]

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

`pub fn check_op_spanned<O: NonConstOp>(&mut self, op: O, span: Span)`[src]

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

`pub(in transform::check_consts::validation) fn check_static( &mut self, def_id: DefId, span: Span )`[src]

`pub(in transform::check_consts::validation) fn check_local_or_return_ty( &mut self, ty: Ty<'tcx>, local: Local )`[src]

`pub(in transform::check_consts::validation) fn check_item_predicates( &mut self )`[src]

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

`pub fn def_id(&self) -> LocalDefId`[src]

`pub fn const_kind(&self) -> ConstContext`[src]

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

Panics if this Item is not const.

`pub fn is_const_stable_const_fn(&self) -> bool`[src]

`pub fn fn_sig(&self) -> Option<&'tcx FnSig<'tcx>>`[src]

Returns the function signature of the item being const-checked if it is a fn or const fn.

Trait Implementations

`impl<'mir, 'tcx> Deref for Validator<'mir, 'tcx>`[src]

`type Target = ConstCx<'mir, 'tcx>`

The resulting type after dereferencing.

`pub fn deref(&self) -> &Self::Target`[src]

`impl<'tcx, 'mir> Visitor<'tcx> for Validator<'mir, 'tcx>`[src]

`pub fn visit_basic_block_data( &mut self, bb: BasicBlock, block: &BasicBlockData<'tcx> )`[src]

`pub fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)`[src]

`pub fn visit_operand(&mut self, op: &Operand<'tcx>, location: Location)`[src]

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

`pub fn visit_source_info(&mut self, source_info: &SourceInfo)`[src]

`pub fn visit_statement( &mut self, statement: &Statement<'tcx>, location: Location )`[src]

`pub fn visit_terminator( &mut self, terminator: &Terminator<'tcx>, location: Location )`[src]

`pub fn visit_body(&mut self, body: &Body<'tcx>)`[src]

`pub fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)`[src]

`pub fn visit_assign( &mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location )`[src]

`pub fn visit_assert_message( &mut self, msg: &AssertKind<Operand<'tcx>>, location: Location )`[src]

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

`pub fn visit_coverage(&mut self, coverage: &Coverage, location: Location)`[src]

`pub fn visit_retag( &mut self, kind: &RetagKind, place: &Place<'tcx>, location: Location )`[src]

`pub fn visit_place( &mut self, place: &Place<'tcx>, context: PlaceContext, location: Location )`[src]

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

`pub fn super_place( &mut self, place: &Place<'tcx>, context: PlaceContext, location: Location )`[src]

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

`pub 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 )`[src]

`pub fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)`[src]

`pub fn visit_span(&mut self, span: &Span)`[src]

`pub fn visit_ty(&mut self, ty: &'tcx TyS<'tcx>, TyContext)`[src]

`pub fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)`[src]

`pub fn visit_user_type_annotation( &mut self, index: UserTypeAnnotationIndex, ty: &CanonicalUserTypeAnnotation<'tcx> )`[src]

`pub fn visit_region(&mut self, region: &&'tcx RegionKind, Location)`[src]

`pub fn visit_const(&mut self, constant: &&'tcx Const<'tcx>, Location)`[src]

`pub fn visit_substs(&mut self, substs: &&'tcx List<GenericArg<'tcx>>, Location)`[src]

`pub fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)`[src]

`pub fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)`[src]

`pub fn visit_local( &mut self, _local: &Local, _context: PlaceContext, _location: Location )`[src]

`pub fn visit_source_scope(&mut self, scope: &SourceScope)`[src]

`pub fn super_body(&mut self, body: &Body<'tcx>)`[src]

`pub fn super_basic_block_data( &mut self, block: BasicBlock, data: &BasicBlockData<'tcx> )`[src]

`pub fn super_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)`[src]

`pub fn super_statement( &mut self, statement: &Statement<'tcx>, location: Location )`[src]

`pub fn super_assign( &mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location )`[src]

`pub fn super_terminator( &mut self, terminator: &Terminator<'tcx>, location: Location )`[src]

`pub fn super_assert_message( &mut self, msg: &AssertKind<Operand<'tcx>>, location: Location )`[src]

`pub fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)`[src]

`pub fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)`[src]

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

`pub fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)`[src]

`pub fn super_retag( &mut self, _kind: &RetagKind, place: &Place<'tcx>, location: Location )`[src]

`pub fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)`[src]

`pub fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)`[src]

`pub fn super_source_scope(&mut self, _scope: &SourceScope)`[src]

`pub fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)`[src]

`pub fn super_span(&mut self, _span: &Span)`[src]

`pub fn super_source_info(&mut self, source_info: &SourceInfo)`[src]

`pub fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)`[src]

`pub fn super_user_type_annotation( &mut self, _index: UserTypeAnnotationIndex, ty: &CanonicalUserTypeAnnotation<'tcx> )`[src]

`pub fn super_ty(&mut self, _ty: &'tcx TyS<'tcx>)`[src]

`pub fn super_region(&mut self, _region: &&'tcx RegionKind)`[src]

`pub fn super_const(&mut self, _const: &&'tcx Const<'tcx>)`[src]

`pub fn super_substs(&mut self, _substs: &&'tcx List<GenericArg<'tcx>>)`[src]

`pub fn visit_location(&mut self, body: &Body<'tcx>, location: Location)`[src]

Auto Trait Implementations

`impl<'mir, 'tcx> !RefUnwindSafe for Validator<'mir, 'tcx>`

`impl<'mir, 'tcx> !Send for Validator<'mir, 'tcx>`

`impl<'mir, 'tcx> !Sync for Validator<'mir, 'tcx>`

`impl<'mir, 'tcx> Unpin for Validator<'mir, 'tcx> where 'tcx: 'mir,`

`impl<'mir, 'tcx> !UnwindSafe for Validator<'mir, 'tcx>`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T> WithConstness for T`[src]

`pub fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>`[src]

`pub fn with_const(self) -> ConstnessAnd<Self>`[src]

`pub fn without_const(self) -> ConstnessAnd<Self>`[src]

[−][src]Struct rustc_mir::transform::check_consts::validation::Validator

Fields

Implementations

impl<'mir, 'tcx> Validator<'mir, 'tcx>[src]

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

pub fn check_body(&mut self)[src]

pub fn qualifs_in_return_place(&mut self) -> ConstQualifs[src]

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

pub fn check_op_spanned<O: NonConstOp>(&mut self, op: O, span: Span)[src]

pub(in transform::check_consts::validation) fn check_static( &mut self, def_id: DefId, span: Span)[src]

pub(in transform::check_consts::validation) fn check_local_or_return_ty( &mut self, ty: Ty<'tcx>, local: Local)[src]

pub(in transform::check_consts::validation) fn check_item_predicates( &mut self)[src]

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

pub fn def_id(&self) -> LocalDefId[src]

pub fn const_kind(&self) -> ConstContext[src]

pub fn is_const_stable_const_fn(&self) -> bool[src]

pub fn fn_sig(&self) -> Option<&'tcx FnSig<'tcx>>[src]

Trait Implementations

impl<'mir, 'tcx> Deref for Validator<'mir, 'tcx>[src]

type Target = ConstCx<'mir, 'tcx>

pub fn deref(&self) -> &Self::Target[src]

impl<'tcx, 'mir> Visitor<'tcx> for Validator<'mir, 'tcx>[src]

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

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

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

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

pub fn visit_source_info(&mut self, source_info: &SourceInfo)[src]

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

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

pub fn visit_body(&mut self, body: &Body<'tcx>)[src]

pub fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)[src]

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

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

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

pub fn visit_coverage(&mut self, coverage: &Coverage, location: Location)[src]

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

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

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

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

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

pub 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)[src]

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

pub fn visit_span(&mut self, span: &Span)[src]

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

pub fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)[src]

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

pub fn visit_region(&mut self, region: &&'tcx RegionKind, Location)[src]

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

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

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

pub fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)[src]

pub fn visit_local( &mut self, _local: &Local, _context: PlaceContext, _location: Location)[src]

pub fn visit_source_scope(&mut self, scope: &SourceScope)[src]

pub fn super_body(&mut self, body: &Body<'tcx>)[src]

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

pub fn super_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)[src]

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

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

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

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

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

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

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

pub fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)[src]

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

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

pub fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)[src]

pub fn super_source_scope(&mut self, _scope: &SourceScope)[src]

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

pub fn super_span(&mut self, _span: &Span)[src]

pub fn super_source_info(&mut self, source_info: &SourceInfo)[src]

pub fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)[src]

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

pub fn super_ty(&mut self, _ty: &'tcx TyS<'tcx>)[src]

pub fn super_region(&mut self, _region: &&'tcx RegionKind)[src]

pub fn super_const(&mut self, _const: &&'tcx Const<'tcx>)[src]

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

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