Expand description
Support inheriting generic parameters and predicates for function delegation.
For more information about delegation design, see the tracking issue #118212.
Structs§
Enums§
- FnKind 🔒
- Inheritance
Kind 🔒 - 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