Module delegation

Support inheriting generic parameters and predicates for function delegation.

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

Structs

• GenericArgsBuilder 🔒
• GenericsBuilder 🔒
• ParamIndexRemapper 🔒
• PredicatesBuilder 🔒

Enums

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

Functions

• 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 🔒