Module effect_goals

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.