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