This is called a “singleton” type. What you are seeing is probably a holdover performance optimization from the early days when Julia did not have immutable types, so “mutable” singletons had to be fast.
@vtjnash similarly suggested that mutable singletons should allocate unique objects in: https://github.com/JuliaLang/julia/issues/17149
but no one has gotten around to working on it.