rustc​::middle​::typeck​::check

Modules

_matchdemandmethodregionckregionmanipvtablewriteback

Structs

FnCtxtFnStyleStateInherited

Functions

ast_expr_vstore_to_tyautoderefcheck_block_no_valuecheck_bounds_are_usedcheck_constcheck_const_with_tycheck_decl_initializercheck_decl_localcheck_enum_variantscheck_enum_variants_sizedcheck_expr_has_typecheck_instantiablecheck_intrinsic_typecheck_itemcheck_item_sizedcheck_item_typescheck_representablecheck_simdcheck_stmtcheck_structimpl_self_tyinstantiate_pathlookup_deflookup_field_tymay_breakpolytype_for_defrequire_integralrequire_uintstructurally_resolved_typestructure_oftype_is_integraltype_is_uintvalid_range_bounds

Struct rustc::middle::typeck::check::Inherited[src]

pub struct Inherited<'a> {
    // some fields omitted
}

Fields that are part of a FnCtxt which are inherited by closures defined within the function. For example:

fn foo() {
    bar(proc() { ... })
}

Here, the function foo() and the closure passed to bar() will each have their own FnCtxt, but they will share the inherited fields.