Module rustc_infer::infer::outlives::test_type_match

Structs

• Match 🔒

Statics

• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• META 🔒
• META 🔒
• META 🔒
• META 🔒
• META 🔒
• META 🔒
• META 🔒
• META 🔒
• META 🔒

Functions

• can_match_erased_ty 🔒
  True if a (potentially higher-ranked) outlives
• extract_verify_if_eq
  Given a “verify-if-eq” type test like: