Struct rustc_hir_typeck::writeback::WritebackCx
source · struct WritebackCx<'cx, 'tcx> {
fcx: &'cx FnCtxt<'cx, 'tcx>,
typeck_results: TypeckResults<'tcx>,
body: &'tcx Body<'tcx>,
rustc_dump_user_args: bool,
}
Fields§
§fcx: &'cx FnCtxt<'cx, 'tcx>
§typeck_results: TypeckResults<'tcx>
§body: &'tcx Body<'tcx>
§rustc_dump_user_args: bool
Implementations§
source§impl<'cx, 'tcx> WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> WritebackCx<'cx, 'tcx>
fn new( fcx: &'cx FnCtxt<'cx, 'tcx>, body: &'tcx Body<'tcx>, rustc_dump_user_args: bool ) -> WritebackCx<'cx, 'tcx>
fn tcx(&self) -> TyCtxt<'tcx>
fn write_ty_to_typeck_results(&mut self, hir_id: HirId, ty: Ty<'tcx>)
fn fix_scalar_builtin_expr(&mut self, e: &Expr<'_>)
fn is_builtin_index( &mut self, e: &Expr<'_>, base_ty: Ty<'tcx>, index_ty: Ty<'tcx> ) -> bool
fn fix_index_builtin_expr(&mut self, e: &Expr<'_>)
source§impl<'cx, 'tcx> WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> WritebackCx<'cx, 'tcx>
fn eval_closure_size(&mut self)
fn visit_min_capture_map(&mut self)
fn visit_fake_reads_map(&mut self)
fn visit_closures(&mut self)
fn visit_coercion_casts(&mut self)
fn visit_user_provided_tys(&mut self)
fn visit_user_provided_sigs(&mut self)
fn visit_generator_interior(&mut self)
fn visit_opaque_types(&mut self)
fn visit_field_id(&mut self, hir_id: HirId)
fn visit_node_id(&mut self, span: Span, hir_id: HirId)
fn visit_adjustments(&mut self, span: Span, hir_id: HirId)
fn visit_pat_adjustments(&mut self, span: Span, hir_id: HirId)
fn visit_liberated_fn_sigs(&mut self)
fn visit_fru_field_types(&mut self)
fn visit_offset_of_container_types(&mut self)
fn resolve<T>(&mut self, x: T, span: &dyn Locatable) -> Twhere T: TypeFoldable<TyCtxt<'tcx>>,
Trait Implementations§
source§impl<'cx, 'tcx> Visitor<'tcx> for WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> Visitor<'tcx> for WritebackCx<'cx, 'tcx>
fn visit_expr(&mut self, e: &'tcx Expr<'tcx>)
fn visit_generic_param(&mut self, p: &'tcx GenericParam<'tcx>)
fn visit_block(&mut self, b: &'tcx Block<'tcx>)
fn visit_pat(&mut self, p: &'tcx Pat<'tcx>)
fn visit_local(&mut self, l: &'tcx Local<'tcx>)
fn visit_ty(&mut self, hir_ty: &'tcx Ty<'tcx>)
fn visit_infer(&mut self, inf: &'tcx InferArg)
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
§type NestedFilter = None
type NestedFilter = None
Override this type to control which nested HIR are visited; see
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read moresource§fn nested_visit_map(&mut self) -> Self::Map
fn nested_visit_map(&mut self) -> Self::Map
If
type NestedFilter
is set to visit nested items, this method
must also be overridden to provide a map to retrieve nested items.source§fn visit_nested_item(&mut self, id: ItemId)
fn visit_nested_item(&mut self, id: ItemId)
Invoked when a nested item is encountered. By default, when
Self::NestedFilter
is nested_filter::None
, this method does
nothing. You probably don’t want to override this method –
instead, override Self::NestedFilter
or use the “shallow” or
“deep” visit patterns described at
rustc_hir::intravisit
. The only reason to override
this method is if you want a nested pattern but cannot supply a
Map
; see nested_visit_map
for advice.source§fn visit_nested_trait_item(&mut self, id: TraitItemId)
fn visit_nested_trait_item(&mut self, id: TraitItemId)
Like
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_impl_item(&mut self, id: ImplItemId)
fn visit_nested_impl_item(&mut self, id: ImplItemId)
Like
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
Like
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_body(&mut self, id: BodyId)
fn visit_nested_body(&mut self, id: BodyId)
Invoked to visit the body of a function, method or closure. Like
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
.fn visit_param(&mut self, param: &'v Param<'v>)
source§fn visit_item(&mut self, i: &'v Item<'v>)
fn visit_item(&mut self, i: &'v Item<'v>)
Visits the top-level item and (optionally) nested items / impl items. See
visit_nested_item
for details.fn visit_body(&mut self, b: &'v Body<'v>)
fn visit_id(&mut self, _hir_id: HirId)
fn visit_name(&mut self, _name: Symbol)
fn visit_ident(&mut self, ident: Ident)
fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)
fn visit_foreign_item(&mut self, i: &'v ForeignItem<'v>)
fn visit_stmt(&mut self, s: &'v Stmt<'v>)
fn visit_arm(&mut self, a: &'v Arm<'v>)
fn visit_pat_field(&mut self, f: &'v PatField<'v>)
fn visit_array_length(&mut self, len: &'v ArrayLen)
fn visit_anon_const(&mut self, c: &'v AnonConst)
fn visit_inline_const(&mut self, c: &'v ConstBlock)
fn visit_let_expr(&mut self, lex: &'v Let<'v>)
fn visit_expr_field(&mut self, field: &'v ExprField<'v>)
fn visit_const_param_default(&mut self, _param: HirId, ct: &'v AnonConst)
fn visit_generics(&mut self, g: &'v Generics<'v>)
fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)
fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'v>)
fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)
fn visit_fn( &mut self, fk: FnKind<'v>, fd: &'v FnDecl<'v>, b: BodyId, _: Span, id: LocalDefId )
fn visit_use( &mut self, path: &'v Path<'v, SmallVec<[Res<HirId>; 3]>>, hir_id: HirId )
fn visit_trait_item(&mut self, ti: &'v TraitItem<'v>)
fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)
fn visit_impl_item(&mut self, ii: &'v ImplItem<'v>)
fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef)
fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef)
fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>)
fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)
fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>)
fn visit_variant_data(&mut self, s: &'v VariantData<'v>)
fn visit_field_def(&mut self, s: &'v FieldDef<'v>)
fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)
fn visit_variant(&mut self, v: &'v Variant<'v>)
fn visit_label(&mut self, label: &'v Label)
fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)
fn visit_lifetime(&mut self, lifetime: &'v Lifetime)
fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span)
fn visit_path(&mut self, path: &Path<'v, Res<HirId>>, _id: HirId)
fn visit_path_segment(&mut self, path_segment: &'v PathSegment<'v>)
fn visit_generic_args(&mut self, generic_args: &'v GenericArgs<'v>)
fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding<'v>)
fn visit_attribute(&mut self, _attr: &'v Attribute)
fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)
fn visit_defaultness(&mut self, defaultness: &'v Defaultness)
fn visit_inline_asm(&mut self, asm: &'v InlineAsm<'v>, id: HirId)
Auto Trait Implementations§
impl<'cx, 'tcx> !RefUnwindSafe for WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> !Send for WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> !Sync for WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> Unpin for WritebackCx<'cx, 'tcx>
impl<'cx, 'tcx> !UnwindSafe for WritebackCx<'cx, 'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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: 760 bytes