import std.traits, std.algorithm;

​

struct NoCopy(T)

{

    static assert(!hasElaborateDestructor!T,

            "NoCopy does not support type " ~ T.stringof ~ " with elaborate destructor");

​

private:

    void[T.sizeof] __bytes;

​

public:

    this(T val)

    {

        __bytes = (cast(void*)&val)[0 .. T.sizeof];

    }

​

    @property ref inout(T) value() inout nothrow @trusted @nogc

    {

        return *cast(inout T*) __bytes.ptr;

    }

​

    this(this)

    {

        value = T.init;

    }

​

    void opAssign(NoCopy rhs)

    {

        value = T.init;

    }

​

    void opAssign(T rhs)

    {

        value = move(rhs);

    }

​

    alias this value;

}

​

struct Disabled

{

    @disable this(this);

}

​

struct Yes

{

    NoCopy!Disabled d;

    this(this)

    {

    }

}

​

void test(Yes)

{

}

​

void main()

{

    Yes y;

    test(y);

}