Labels as values and threaded-code interpretation

[Andrej Mitrovic]

On 6/1/13, Timon Gehr <timon.gehr at gmx.ch> wrote:
> D (like C) uses a different namespace for labels and symbols that are
> not labels.

Perhaps for experimenting purposes (before resorting to language
changes), a trait could be introduced. E.g.:

> void main(){
>      int foo;
>      foo: auto b = __traits(gotoAddr, foo);
> }

And if it's successful, we add language support.