Module rustc_infer::infer::outlives::test_type_match

source ·

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: