import std.stdio;

​

struct S {int s;}

​

void main()

{

    static assert(is(typeof(int.init) == int)); // This works

    static assert(is(typeof(S.init) == S)); // This as well

    pragma(msg, typeof(S.init)); // Works: "S"

    pragma(msg, typeof(int.init)); // Works: "int"

    pragma(msg, S); // Works: "S"

    // pragma(msg, int); // Does not work, as an identifier is expected.

}

​