From: http://forum.dlang.org/thread/xupmxlqobvwvquznzdiw@forum.dlang.org

Tweaked test case:

struct sQueue(T)
{
    struct sNode
    {
        T mfPayload = T.init;
        union
        {
                   typeof(this)*  mfPrev;
            shared(typeof(this)*) mfShPrev;
        }
        union
        {
                   typeof(this)*  mfNext;
            shared(typeof(this)*) mfShNext;
        }
    }

    sNode mfRoot;

    void pfPut(T v, sNode* r = null)
    {
        shared n = new sNode(v);    // problem!
    }
}

void main()
{
    auto b1 = new sQueue!uint;
}