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 🔒