Struct rustc_typeck::middle::check_match::MatchCheckCtxtExperimental [-]  [+] [src]

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

Fields

tcx
param_env

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: u32)

fn visit_name(&mut self, Span, Name)

fn visit_ident(&mut self, Span, Ident)

fn visit_mod(&mut self, &'v Mod, Span, u32)

fn visit_view_item(&mut self, &'v ViewItem)

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

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

fn visit_local(&mut self, &'v Local)

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

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

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

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

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

fn visit_expr(&mut self, &'v Expr)

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

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

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

fn visit_fn(&mut self, FnKind<'v>, &'v FnDecl, &'v Block, Span, u32)

fn visit_ty_method(&mut self, &'v TypeMethod)

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

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

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

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

fn visit_struct_def(&mut self, &'v StructDef, Ident, &'v Generics, u32)

fn visit_struct_field(&mut self, &'v Spanned<StructField_>)

fn visit_variant(&mut self, &'v Spanned<Variant_>, &'v Generics)

fn visit_opt_lifetime_ref(&mut self, Span, &'v Option<Lifetime>)

fn visit_lifetime_bound(&mut self, &'v Lifetime)

fn visit_lifetime_ref(&mut self, &'v Lifetime)

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

fn visit_explicit_self(&mut self, &'v Spanned<ExplicitSelf_>)

fn visit_mac(&mut self, &'v Spanned<Mac_>)

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

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

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

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

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