Struct rustc_mir::borrow_check::nll::type_check::TypeVerifier [−][src]
struct TypeVerifier<'a, 'b: 'a, 'gcx: 'b + 'tcx, 'tcx: 'b> { cx: &'a mut TypeChecker<'b, 'gcx, 'tcx>, mir: &'a Mir<'tcx>, last_span: Span, mir_def_id: DefId, errors_reported: bool, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Verifies that MIR types are sane to not crash further checks.
The sanitize_XYZ methods here take an MIR object and compute its
type, calling span_mirbug
and returning an error type if there
is a problem.
Fields
cx: &'a mut TypeChecker<'b, 'gcx, 'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
mir: &'a Mir<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
last_span: Span
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
mir_def_id: DefId
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
errors_reported: bool
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Methods
impl<'a, 'b, 'gcx, 'tcx> TypeVerifier<'a, 'b, 'gcx, 'tcx>
[src]
impl<'a, 'b, 'gcx, 'tcx> TypeVerifier<'a, 'b, 'gcx, 'tcx>
fn new(cx: &'a mut TypeChecker<'b, 'gcx, 'tcx>, mir: &'a Mir<'tcx>) -> Self
[src]
fn new(cx: &'a mut TypeChecker<'b, 'gcx, 'tcx>, mir: &'a Mir<'tcx>) -> Self
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn tcx(&self) -> TyCtxt<'a, 'gcx, 'tcx>
[src]
fn tcx(&self) -> TyCtxt<'a, 'gcx, 'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn sanitize_type(&mut self, parent: &Debug, ty: Ty<'tcx>) -> Ty<'tcx>
[src]
fn sanitize_type(&mut self, parent: &Debug, ty: Ty<'tcx>) -> Ty<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn sanitize_constant(&mut self, constant: &Constant<'tcx>, location: Location)
[src]
fn sanitize_constant(&mut self, constant: &Constant<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Checks that the constant's ty
field matches up with what
would be expected from its literal.
fn sanitize_place(
&mut self,
place: &Place<'tcx>,
location: Location,
context: PlaceContext
) -> PlaceTy<'tcx>
[src]
fn sanitize_place(
&mut self,
place: &Place<'tcx>,
location: Location,
context: PlaceContext
) -> PlaceTy<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Checks that the types internal to the place
match up with
what would be expected.
fn sanitize_projection(
&mut self,
base: PlaceTy<'tcx>,
pi: &PlaceElem<'tcx>,
place: &Place<'tcx>,
location: Location
) -> PlaceTy<'tcx>
[src]
fn sanitize_projection(
&mut self,
base: PlaceTy<'tcx>,
pi: &PlaceElem<'tcx>,
place: &Place<'tcx>,
location: Location
) -> PlaceTy<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn error(&mut self) -> Ty<'tcx>
[src]
fn error(&mut self) -> Ty<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn field_ty(
&mut self,
parent: &Debug,
base_ty: PlaceTy<'tcx>,
field: Field,
location: Location
) -> Result<Ty<'tcx>, FieldAccessError>
[src]
fn field_ty(
&mut self,
parent: &Debug,
base_ty: PlaceTy<'tcx>,
field: Field,
location: Location
) -> Result<Ty<'tcx>, FieldAccessError>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Trait Implementations
impl<'a, 'b, 'gcx, 'tcx> Visitor<'tcx> for TypeVerifier<'a, 'b, 'gcx, 'tcx>
[src]
impl<'a, 'b, 'gcx, 'tcx> Visitor<'tcx> for TypeVerifier<'a, 'b, 'gcx, 'tcx>
fn visit_span(&mut self, span: &Span)
[src]
fn visit_span(&mut self, span: &Span)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_place(
&mut self,
place: &Place<'tcx>,
context: PlaceContext,
location: Location
)
[src]
fn visit_place(
&mut self,
place: &Place<'tcx>,
context: PlaceContext,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)
[src]
fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)
[src]
fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)
[src]
fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_mir(&mut self, mir: &Mir<'tcx>)
[src]
fn visit_mir(&mut self, mir: &Mir<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_basic_block_data(
&mut self,
block: BasicBlock,
data: &BasicBlockData<'tcx>
)
[src]
fn visit_basic_block_data(
&mut self,
block: BasicBlock,
data: &BasicBlockData<'tcx>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData)
[src]
fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_statement(
&mut self,
block: BasicBlock,
statement: &Statement<'tcx>,
location: Location
)
[src]
fn visit_statement(
&mut self,
block: BasicBlock,
statement: &Statement<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_assign(
&mut self,
block: BasicBlock,
place: &Place<'tcx>,
rvalue: &Rvalue<'tcx>,
location: Location
)
[src]
fn visit_assign(
&mut self,
block: BasicBlock,
place: &Place<'tcx>,
rvalue: &Rvalue<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_terminator(
&mut self,
block: BasicBlock,
terminator: &Terminator<'tcx>,
location: Location
)
[src]
fn visit_terminator(
&mut self,
block: BasicBlock,
terminator: &Terminator<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_terminator_kind(
&mut self,
block: BasicBlock,
kind: &TerminatorKind<'tcx>,
location: Location
)
[src]
fn visit_terminator_kind(
&mut self,
block: BasicBlock,
kind: &TerminatorKind<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_assert_message(
&mut self,
msg: &EvalErrorKind<'tcx, Operand<'tcx>>,
location: Location
)
[src]
fn visit_assert_message(
&mut self,
msg: &EvalErrorKind<'tcx, Operand<'tcx>>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location)
[src]
fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_user_assert_ty(
&mut self,
c_ty: &Canonical<'tcx, &'tcx TyS<'tcx>>,
local: &Local,
location: Location
)
[src]
fn visit_user_assert_ty(
&mut self,
c_ty: &Canonical<'tcx, &'tcx TyS<'tcx>>,
local: &Local,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_static(
&mut self,
static_: &Static<'tcx>,
context: PlaceContext<'tcx>,
location: Location
)
[src]
fn visit_static(
&mut self,
static_: &Static<'tcx>,
context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_projection(
&mut self,
place: &Projection<'tcx, Place<'tcx>, Local, &'tcx TyS<'tcx>>,
context: PlaceContext<'tcx>,
location: Location
)
[src]
fn visit_projection(
&mut self,
place: &Projection<'tcx, Place<'tcx>, Local, &'tcx TyS<'tcx>>,
context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_projection_elem(
&mut self,
place: &ProjectionElem<'tcx, Local, &'tcx TyS<'tcx>>,
context: PlaceContext<'tcx>,
location: Location
)
[src]
fn visit_projection_elem(
&mut self,
place: &ProjectionElem<'tcx, Local, &'tcx TyS<'tcx>>,
context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_branch(&mut self, source: BasicBlock, target: BasicBlock)
[src]
fn visit_branch(&mut self, source: BasicBlock, target: BasicBlock)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_literal(&mut self, literal: &Literal<'tcx>, location: Location)
[src]
fn visit_literal(&mut self, literal: &Literal<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_def_id(&mut self, def_id: &DefId, Location)
[src]
fn visit_def_id(&mut self, def_id: &DefId, Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_source_info(&mut self, source_info: &SourceInfo)
[src]
fn visit_source_info(&mut self, source_info: &SourceInfo)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_ty(&mut self, ty: &&'tcx TyS<'tcx>, TyContext)
[src]
fn visit_ty(&mut self, ty: &&'tcx TyS<'tcx>, TyContext)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_region(&mut self, region: &&'tcx RegionKind, Location)
[src]
fn visit_region(&mut self, region: &&'tcx RegionKind, Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_const(&mut self, constant: &&'tcx Const<'tcx>, Location)
[src]
fn visit_const(&mut self, constant: &&'tcx Const<'tcx>, Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_substs(&mut self, substs: &&'tcx Slice<Kind<'tcx>>, Location)
[src]
fn visit_substs(&mut self, substs: &&'tcx Slice<Kind<'tcx>>, Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_closure_substs(&mut self, substs: &ClosureSubsts<'tcx>, Location)
[src]
fn visit_closure_substs(&mut self, substs: &ClosureSubsts<'tcx>, Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_generator_substs(&mut self, substs: &GeneratorSubsts<'tcx>, Location)
[src]
fn visit_generator_substs(&mut self, substs: &GeneratorSubsts<'tcx>, Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_local(
&mut self,
_local: &Local,
_context: PlaceContext<'tcx>,
_location: Location
)
[src]
fn visit_local(
&mut self,
_local: &Local,
_context: PlaceContext<'tcx>,
_location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_source_scope(&mut self, scope: &SourceScope)
[src]
fn visit_source_scope(&mut self, scope: &SourceScope)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_mir(&mut self, mir: &Mir<'tcx>)
[src]
fn super_mir(&mut self, mir: &Mir<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_basic_block_data(
&mut self,
block: BasicBlock,
data: &BasicBlockData<'tcx>
)
[src]
fn super_basic_block_data(
&mut self,
block: BasicBlock,
data: &BasicBlockData<'tcx>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_source_scope_data(&mut self, scope_data: &SourceScopeData)
[src]
fn super_source_scope_data(&mut self, scope_data: &SourceScopeData)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_statement(
&mut self,
block: BasicBlock,
statement: &Statement<'tcx>,
location: Location
)
[src]
fn super_statement(
&mut self,
block: BasicBlock,
statement: &Statement<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_assign(
&mut self,
_block: BasicBlock,
place: &Place<'tcx>,
rvalue: &Rvalue<'tcx>,
location: Location
)
[src]
fn super_assign(
&mut self,
_block: BasicBlock,
place: &Place<'tcx>,
rvalue: &Rvalue<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_terminator(
&mut self,
block: BasicBlock,
terminator: &Terminator<'tcx>,
location: Location
)
[src]
fn super_terminator(
&mut self,
block: BasicBlock,
terminator: &Terminator<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_terminator_kind(
&mut self,
block: BasicBlock,
kind: &TerminatorKind<'tcx>,
source_location: Location
)
[src]
fn super_terminator_kind(
&mut self,
block: BasicBlock,
kind: &TerminatorKind<'tcx>,
source_location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_assert_message(
&mut self,
msg: &EvalErrorKind<'tcx, Operand<'tcx>>,
location: Location
)
[src]
fn super_assert_message(
&mut self,
msg: &EvalErrorKind<'tcx, Operand<'tcx>>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)
[src]
fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)
[src]
fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_user_assert_ty(
&mut self,
_c_ty: &Canonical<'tcx, &'tcx TyS<'tcx>>,
local: &Local,
location: Location
)
[src]
fn super_user_assert_ty(
&mut self,
_c_ty: &Canonical<'tcx, &'tcx TyS<'tcx>>,
local: &Local,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_place(
&mut self,
place: &Place<'tcx>,
context: PlaceContext<'tcx>,
location: Location
)
[src]
fn super_place(
&mut self,
place: &Place<'tcx>,
context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_static(
&mut self,
static_: &Static<'tcx>,
_context: PlaceContext<'tcx>,
location: Location
)
[src]
fn super_static(
&mut self,
static_: &Static<'tcx>,
_context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_projection(
&mut self,
proj: &Projection<'tcx, Place<'tcx>, Local, &'tcx TyS<'tcx>>,
context: PlaceContext<'tcx>,
location: Location
)
[src]
fn super_projection(
&mut self,
proj: &Projection<'tcx, Place<'tcx>, Local, &'tcx TyS<'tcx>>,
context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_projection_elem(
&mut self,
proj: &ProjectionElem<'tcx, Local, &'tcx TyS<'tcx>>,
_context: PlaceContext<'tcx>,
location: Location
)
[src]
fn super_projection_elem(
&mut self,
proj: &ProjectionElem<'tcx, Local, &'tcx TyS<'tcx>>,
_context: PlaceContext<'tcx>,
location: Location
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)
[src]
fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_source_scope(&mut self, _scope: &SourceScope)
[src]
fn super_source_scope(&mut self, _scope: &SourceScope)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_branch(&mut self, _source: BasicBlock, _target: BasicBlock)
[src]
fn super_branch(&mut self, _source: BasicBlock, _target: BasicBlock)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)
[src]
fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_literal(&mut self, literal: &Literal<'tcx>, location: Location)
[src]
fn super_literal(&mut self, literal: &Literal<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_def_id(&mut self, _def_id: &DefId)
[src]
fn super_def_id(&mut self, _def_id: &DefId)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_span(&mut self, _span: &Span)
[src]
fn super_span(&mut self, _span: &Span)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_source_info(&mut self, source_info: &SourceInfo)
[src]
fn super_source_info(&mut self, source_info: &SourceInfo)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_ty(&mut self, _ty: &&'tcx TyS<'tcx>)
[src]
fn super_ty(&mut self, _ty: &&'tcx TyS<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_region(&mut self, _region: &&'tcx RegionKind)
[src]
fn super_region(&mut self, _region: &&'tcx RegionKind)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_const(&mut self, _const: &&'tcx Const<'tcx>)
[src]
fn super_const(&mut self, _const: &&'tcx Const<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_substs(&mut self, _substs: &&'tcx Slice<Kind<'tcx>>)
[src]
fn super_substs(&mut self, _substs: &&'tcx Slice<Kind<'tcx>>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_generator_substs(&mut self, _substs: &GeneratorSubsts<'tcx>)
[src]
fn super_generator_substs(&mut self, _substs: &GeneratorSubsts<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn super_closure_substs(&mut self, _substs: &ClosureSubsts<'tcx>)
[src]
fn super_closure_substs(&mut self, _substs: &ClosureSubsts<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_location(&mut self, mir: &Mir<'tcx>, location: Location)
[src]
fn visit_location(&mut self, mir: &Mir<'tcx>, location: Location)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Auto Trait Implementations
impl<'a, 'b, 'gcx, 'tcx> !Send for TypeVerifier<'a, 'b, 'gcx, 'tcx>
impl<'a, 'b, 'gcx, 'tcx> !Send for TypeVerifier<'a, 'b, 'gcx, 'tcx>
impl<'a, 'b, 'gcx, 'tcx> !Sync for TypeVerifier<'a, 'b, 'gcx, 'tcx>
impl<'a, 'b, 'gcx, 'tcx> !Sync for TypeVerifier<'a, 'b, 'gcx, 'tcx>