rustc_next_trait_solver::solve

Module effect_goals

Source
Expand description

Dealing with host effect goals, i.e. enforcing the constness in T: const Trait or T: ~const Trait.