Christopher Wright wrote:
> So you consider functions to be a reference type, since the value of a
> function is not terribly useful. You want the declarations "void foo()
> {}" and "invariant(void function()) foo = {};" to be equivalent.
Yes, almost equivalent.