rustc_
next_
trait_
solver
1.85.0-nightly
(426d17342 2024-12-21)
Module trait_
goals
Module Items
Enums
In rustc_
next_
trait_
solver::
solve
rustc_next_trait_solver
::
solve
Module
trait_goals
Copy item path
Source
Expand description
Dealing with trait goals, i.e.
T: Trait<'a, U>
.
Enums
§
Trait
Goal
Proven
Via
🔒
How we’ve proven this trait goal.