fix ambiguity warning with SharedArray

[Jutho]

As discussed here: #8432 (comment)

Apologies for commit 1c12bcb

I was trying to be fast and just edited this on Github, under the impression that this would create a pull request, rather than immediately a new commit.

[tkelman]

I was trying to be fast and just edited this on Github, under the impression that this would create a pull request, rather than immediately a new commit.

If you don't have commit access to the repository then Github forks it and makes a new branch for you. When you do have commit access and you want to make a PR via the web interface, best to create a new branch from the dropdown first and do the edits there.

[Jutho]

Yes, I learned this now. It was the first time I used the web interface for this (I wanted to try since I always read on the forum that people are stimulated to make small changes like this).

[tkelman]

Regarding the issue at hand, it fixes the ambiguity warnings and doesn't introduce any new test regressions, so lgtm.

[Jutho]

Ok, I hope this doesn't break anything unexpected, but the change seems small enough to be harmless.