☰
Module test_type_match
Structs
Functions
?
Module
rustc_infer
::
infer
::
outlives
::
test_type_match
source
·
[
−
]
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: