rustc_
infer
1.83.0-beta.6
(4ff8ff0ec 2024-11-16)
Module test_
type_
match
Module Items
Structs
Functions
In rustc_
infer::
infer::
outlives
rustc_infer
::
infer
::
outlives
Module
test_type_match
Copy item path
source
Structs
§
Match
Against
Higher
Ranked
Outlives
🔒
Functions
§
can_
match_
erased_
ty
🔒
True if a (potentially higher-ranked) outlives
extract_
verify_
if_
eq
Given a “verify-if-eq” type test like: