rustc_infer
1.79.0-nightly
(3a36386dc 2024-04-25)
Module test_type_match
Structs
Functions
In rustc_infer::infer::outlives
?
Settings
Module
rustc_infer
::
infer
::
outlives
::
test_type_match
Copy item path
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: