[Issue 23996] pragma(assume)

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=23996

--- Comment #4 from Bolpat <qs.il.paperinik at gmail.com> ---
(In reply to mhh from comment #3)
> Should be an intrinsic or a UDA, pragmas are an anti-pattern.

Could you elaborate how it should look like?
I don't see how a UDA would work syntactically.
An intrinsic must be protected by `version` to ensure the compiler supports it.
How is a pragma an anti-pattern? Inline is a pragma.

In C++, it was an intrinsic, but every compiler had a different one, so in
C++23, it became part of the standard so that it's not an intrinsic anymore.

--