Module opaque

Source

Structs§

RpitConstraintChecker 🔒
TaitConstraintLocator 🔒

Functions§

find_opaque_ty_constraints_for_impl_trait_in_assoc_type 🔒
Checks “defining uses” of opaque impl Trait in associated types. These can only be defined by associated items of the same trait.
find_opaque_ty_constraints_for_rpit 🔒
find_opaque_ty_constraints_for_tait 🔒
Checks “defining uses” of opaque impl Trait types to ensure that they meet the restrictions laid for “higher-order pattern unification”. This ensures that inference is tractable. In particular, definitions of opaque types can only use other generics as arguments, and they cannot repeat an argument. Example: