Module rustc_infer::infer::outlives::test_type_match

Structs

• MatchAgainstHigherRankedOutlives 🔒

Functions

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