Why does Dialyzer believe specs with too-specific return types?

Question

I expect adding specs to never make things less safe, but that\'s exactly what happens in the following case.

In the following code, Dialyzer (wrongly) trust