Module rustc_hir_analysis::collect::type_of::opaque
source · Structs§
Functions§
- Checks “defining uses” of opaque
impl Trait
in associated types. These can only be defined by associated items of the same trait. - 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: