The future of UDAs.

[Walter Bright]

On 11/29/2012 7:11 AM, Max Samukha wrote:
> Just a random thought: what if the compiler didn't check cycles for
> modules that define only static ctors attributed with @system/@trusted?


It's a good idea to have a way of saying a static constructor has no 
dependencies on imports, but I don't think @system implies that, 
although such a static constructor would have to be @trusted/@system. 
(Since the compiler could not verify the absence of such dependencies.)

It also may be possible to:

     pragma(no_import_dependencies)

or something like that, which also would put the onus on the programmer 
to make sure there really aren't any.