Bug 18829 – pragma msg of int incoherent

When working with pragma(msg,...) in relation to https://issues.dlang.org/show_bug.cgi?id=7947 I stumbled upon the following behaviour: pragma(msg, typeof(int.init)); // Works: int pragma(msg, int); // Fails: // Error: found `)` when expecting `.` following int // Error: found `;` when expecting identifier following `int`. // ... // but, obviously: static assert(is(typeof(int.init) == int)); This seems to be related to `int` being a keyword, as everything works when using an arbitrary struct.

Here is an example, with the problematic line 14 commented out: https://run.dlang.io/is/xzgt0E This fails with all primitive types. I would expect the last line to just print "int", or give a useful error message that primitive types can not be used there, but it looks more like a logical error in the parser.

According to the grammar, a pragma takes an argument list, which is a list of expressions. D has no first class types; a plain `int` is not an expression. This is either an enhancement request to expand what pragma msg accepts, or to improve the error message when passing a basic type as an expression.

This has been fixed. The code in the original bug report now successfully compiles outputting int in both situations.