void main()

{

​

    enum isDIP1000 = __traits(compiles, () @safe {

         int x;

         int* p;

         p = &x;

    });

    pragma(msg, isDIP1000);

}