pragma(msg, BasicType TypeSuffix) doesn't parse

[dlangBugzillaToGithub]

Manu reported this on 2024-10-04T04:50:09Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=24791

CC List

• Nick Treleaven (@ntrel)

Description

I feel like this should work:

int x; 
pragma(msg, typeof(x)*);

error : expression expected, not `)`

It should print `int*`

[dlangBugzillaToGithub]

nick (@ntrel) commented on 2024-10-05T16:55:34Z

The argument must be an AssignExpression. 
https://dlang.org/spec/pragma.html#msg

There is no postfix `*` operator, so it fails to parse.

[dlangBugzillaToGithub]

turkeyman commented on 2024-10-11T08:53:27Z

I don't really care for reasons; this is an obvious bug:

pragma(msg, int);  // > int
pragma(msg, int*); // > int*

alias X = int;
pragma(msg, X);    // > int
pragma(msg, X*);   // error!


Edge cases like this just randomly break meta-programming.
We especially depend on pragma(msg) to understand and debug meta-programming.

[ntrel]

pragma(msg, int); // > int

That works since #14672.

See also dlang/dlang.org#4155.