rustc_trait_selection
1.79.0-nightly
(e3181b091 2024-04-18)
Module test_type_match
Functions
In rustc_trait_selection::infer::outlives
?
Settings
Module
rustc_trait_selection
::
infer
::
outlives
::
test_type_match
Copy item path
source
·
[
−
]
Functions
§
extract_verify_if_eq
Given a “verify-if-eq” type test like: