Struct rustc_const_eval::check_match::MatchCheckCtxt

pub struct MatchCheckCtxt<'a, 'tcx: 'a> {
    pub tcx: TyCtxt<'a, 'tcx, 'tcx>,
    pub param_env: ParameterEnvironment<'tcx>,
}

Unstable (rustc_private)

Fields

tcx: TyCtxt<'a, 'tcx, 'tcx>

Unstable (rustc_private)

param_env: ParameterEnvironment<'tcx>

Unstable (rustc_private)

Trait Implementations

impl<'a, 'tcx, 'v> Visitor<'v> for MatchCheckCtxt<'a, 'tcx>

fn visit_expr(&mut self, ex: &Expr)

fn visit_local(&mut self, l: &Local)

fn visit_fn(&mut self, fk: FnKind<'v>, fd: &'v FnDecl, b: &'v Block, s: Span, n: NodeId)

fn visit_nested_item(&mut self, id: ItemId)

Invoked when a nested item is encountered. By default, does nothing. If you want a deep walk, you need to override to fetch the item contents. But most of the time, it is easier (and better) to invoke Crate::visit_all_items, which visits all items in the crate in some order (but doesn't respect nesting).

fn visit_item(&mut self, i: &'v Item)

Visit the top-level item and (optionally) nested items. See visit_nested_item for details.

fn visit_name(&mut self, _span: Span, _name: Name)

fn visit_mod(&mut self, m: &'v Mod, _s: Span, _n: u32)

fn visit_foreign_item(&mut self, i: &'v ForeignItem)

fn visit_block(&mut self, b: &'v Block)

fn visit_stmt(&mut self, s: &'v Spanned<Stmt_>)

fn visit_arm(&mut self, a: &'v Arm)

fn visit_pat(&mut self, p: &'v Pat)

fn visit_decl(&mut self, d: &'v Spanned<Decl_>)

fn visit_expr_post(&mut self, _ex: &'v Expr)

fn visit_ty(&mut self, t: &'v Ty)

fn visit_generics(&mut self, g: &'v Generics)

fn visit_trait_item(&mut self, ti: &'v TraitItem)

fn visit_impl_item(&mut self, ii: &'v ImplItem)

fn visit_trait_ref(&mut self, t: &'v TraitRef)

fn visit_ty_param_bound(&mut self, bounds: &'v TyParamBound)

fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef, m: &'v TraitBoundModifier)

fn visit_variant_data(&mut self, s: &'v VariantData, Name, &'v Generics, u32, Span)

fn visit_struct_field(&mut self, s: &'v StructField)

fn visit_enum_def(&mut self, enum_definition: &'v EnumDef, generics: &'v Generics, item_id: u32, Span)

fn visit_variant(&mut self, v: &'v Spanned<Variant_>, g: &'v Generics, item_id: u32)

fn visit_lifetime(&mut self, lifetime: &'v Lifetime)

fn visit_lifetime_def(&mut self, lifetime: &'v LifetimeDef)

fn visit_path(&mut self, path: &'v Path, _id: u32)

fn visit_path_list_item(&mut self, prefix: &'v Path, item: &'v Spanned<PathListItem_>)

fn visit_path_segment(&mut self, path_span: Span, path_segment: &'v PathSegment)

fn visit_path_parameters(&mut self, path_span: Span, path_parameters: &'v PathParameters)

fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding)

fn visit_attribute(&mut self, _attr: &'v Spanned<Attribute_>)

fn visit_macro_def(&mut self, macro_def: &'v MacroDef)

fn visit_vis(&mut self, vis: &'v Visibility)