rustc_next_trait_solver::solve

Module trait_goals

Source
Expand description

Dealing with trait goals, i.e. T: Trait<'a, U>.

Enums§

TraitGoalProvenVia 🔒
How we’ve proven this trait goal.