rustc_
infer
1.84.0-nightly
(759e07f06 2024-10-30)
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: