Module rustc_hir_analysis::collect::type_of::opaque

Structs

• RpitConstraintChecker 🔒
• TaitConstraintLocator 🔒

Functions

• 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: