You can test this with is(TYPE1==TYPE2)is(shared(immutable(int))==immutable(int))
So I got that to true, which means that shared immutable is exactly the same as immutable. Shared is implicit for immutable which makes sense.
That means that the documentation https://dlang.org/articles/migrate-to-shared.html#immutable is correct at least this one time.