> Btw., what's `Tdummy` for? Unique instantiations?

I didn't write the code, but it appears to be used as a way to support shared data: See the overload below:
```D
return mayPointTo!(shared S, shared T, void)(source, target);
```