• Quirin Schroll (13/13) Feb 11 If a pure factory function returns an non-`shared`-type object,

Quirin Schroll <qs.il.paperinik gmail.com> writes:

If a pure factory function returns an non-`shared`-type object, 
that type should be convertible to `shared` or am I mistaken?
Essentially, this should compile:
```d
int[] make() pure  safe;

void main()  safe
{
     shared xs = make();
}
```
Currently, only the conversion to `const shared` is enabled by 
uniqueness. I don’t understand that limitation, but I’m not sure 
I understand `shared` very well.