Module delegation

Source
Expand description

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.

Functions§

build_generic_args 🔒
build_generics 🔒
build_predicates 🔒
check_constraints 🔒
create_generic_args 🔒
fn_kind 🔒
inherit_generics_for_delegation_item 🔒
inherit_predicates_for_delegation_item 🔒
inherit_sig_for_delegation_item 🔒

Type Aliases§

RemapTable 🔒