rustc_infer
1.78.0
(9b00956e5 2024-04-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: