Module rustc_infer::infer::outlives::test_type_match

Structs

Match 🔒

Functions

can_match_erased_ty 🔒

True if a (potentially higher-ranked) outlives

extract_verify_if_eq

Given a “verify-if-eq” type test like: