rustc_infer::infer::outlives

Module test_type_match

Source

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: