This PR does what the title says.
In the handful of places where we actually set this to true, we now have a new function: remove_optional_modifier_from.
We get the fully typed string (optional and all), and if we don't want the optional part, we call this function on it.
This PR does what the title says. In the handful of places where we actually set this to
true
, we now have a new function:remove_optional_modifier_from
. We get the fully typed string (optional and all), and if we don't want the optional part, we call this function on it.