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

Function rustc::middle::typeck::check::autoderef[src]

pub fn autoderef<T>(fcx: &FnCtxt, sp: Span, base_ty: t, expr_id: Option<NodeId>, lvalue_pref: LvaluePreference, should_stop: |t, uint| -> Option<T>) -> (t, uint, Option<T>)

Executes an autoderef loop for the type t. At each step, invokes should_stop to decide whether to terminate the loop. Returns the final type and number of derefs that it performed.

Note: this method does not modify the adjustments table. The caller is responsible for inserting an AutoAdjustment record into the fcx using one of the suitable methods.