rustc_next_trait_solver::solve

Module trait_goals

Source
Expand description

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