Skip to main content
Module evaluate_obligation
rustc_
trait_
selection
1.96.0-beta.5
(a5a9a5438 2026-05-01)
Module evaluate_
obligation
Module Items
Traits
In rustc_
trait_
selection::
traits::
query
rustc_trait_selection
::
traits
::
query
Module
evaluate_
obligation
Copy item path
Source
Traits
ยง
Infer
Ctxt
Ext