Skip to main content
Module test_type_match
rustc_
trait_
selection
1.96.0-nightly
(38c0de8dc 2026-02-28)
Module test_
type_
match
Module Items
Functions
In rustc_
trait_
selection::
infer::
outlives
rustc_trait_selection
::
infer
::
outlives
Module
test_
type_
match
Copy item path
Functions
§
extract_
verify_
if_
eq
Given a “verify-if-eq” type test like: