Module extract_function 

Structs

ContainerInfo 🔒

The thing whose expression we are extracting from. Can be a function, const, static, const arg, …

ControlFlow 🔒

Function 🔒

LocalUsages 🔒

Container of local variable usages

OutlivedLocal 🔒

Param 🔒

Enums

Anchor 🔒

Where to put extracted function definition

FlowHandler 🔒

FlowKind 🔒

Control flow that is exported from extracted function

FunType 🔒

FunctionBody 🔒

Semantically same as ast::Expr, but preserves identity when using only part of the Block This is the future function body, the part that is being extracted.

GenericParent 🔒

ParamKind 🔒

RetType 🔒

TryKind 🔒

Functions

expr_require_exclusive_access 🔒

checks if this expr requires &mut access, recurses on field access

extract_function 🔒

extraction_target 🔒

Try to guess what user wants to extract

find_non_trait_impl 🔒

fix_param_usages 🔒

change all usages to account for added &/&mut for some params

format_function 🔒

format_type 🔒

generic_parents 🔒

Search parent’s ancestors for items with potentially applicable generic parameters

has_exclusive_usages 🔒

checks if relevant var is used with &mut access inside body

impl_type_name 🔒

is_defined_outside_of_body 🔒

checks if the relevant local was defined before(outside of) body

is_inherit_attr 🔒

is_trait_impl 🔒

last_impl_member 🔒

local_outlives_body 🔒

Returns usage details if local variable is used after(outside of) body

locals_defined_in_body 🔒

list local variables defined inside body

make_body 🔒

make_call 🔒

make_function_name 🔒

make_generic_param_list 🔒

make_generic_params_and_where_clause 🔒

make_rewritten_flow 🔒

make_ty 🔒

make_where_clause 🔒

map_tail_expr 🔒

node_to_insert_after 🔒

find where to put extracted function definition

param_is_required 🔒

path_element_of 🔒

find relevant ast::Expr for reference

path_expr_from_local 🔒

pred_is_required 🔒

reference_is_exclusive 🔒

checks if this reference requires &mut access inside node

resolved_type_param 🔒

rewrite_body_segment 🔒

update_external_control_flow 🔒

with_default_tail_expr 🔒

with_tail_expr 🔒