Module delegation 

Support inheriting generic parameters and predicates for function delegation.

For more information about delegation design, see the tracking issue #118212.

Structs

ParamIndexRemapper 🔒

Enums

FnKind 🔒

InheritanceKind 🔒

Given the current context(caller and callee FnKind), it specifies the policy of predicates and generic parameters inheritance.

SelfPositionKind 🔒

Functions

check_constraints 🔒

create_folder_and_args 🔒

create_generic_args 🔒

Creates generic arguments for further delegation signature and predicates instantiation. Arguments can be user-specified (in this case they are in parent_args and child_args) or propagated. User can specify either both parent_args and child_args, one of them or none, that is why we firstly create generic arguments from generic params and then adjust them with user-specified args.

create_mapping 🔒

Maps sig generics into generic args of delegation. Delegation generics has the following pattern:

create_self_position_kind 🔒

fn_kind 🔒

get_delegation_parent_args_count_without_self 🔒

get_delegation_self_ty 🔒

get_delegation_user_specified_args 🔒

get_parent_and_inheritance_kind 🔒

inherit_predicates_for_delegation_item 🔒

inherit_sig_for_delegation_item 🔒

Type Aliases

RemapTable 🔒