Adam D. Ruppe:
What I want is a __trait that scans for all call expressions in
a particular function and returns all those functions.
Then, we can check them for UDAs using the regular way and
start to implement library defined things like @safe, @nogc,
etc.
This is the start of a nice idea to extend the D type system a
little in user defined code. But I think it still needs some
refinement.
I also think there can be a more automatic way to test them than
"the regular way" of putting a static assert outside the function.
Bye,
bearophile