Structs§
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: