That guarantees that the types do not determine the output (e.g. no const enums), not that you can "strip" types to get the same output.
That guarantees that the types do not determine the output (e.g. no const enums), not that you can "strip" types to get the same output.