☰
rustc_infer
1.76.0-nightly
(b10cfcd65 2023-11-29)
Module test_type_match
Structs
Functions
In rustc_infer::infer::outlives
?
Module
rustc_infer
::
infer
::
outlives
::
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: