On Tuesday, 27 October 2015 at 11:41:52 UTC, Andrei Alexandrescu
wrote:
The crux of the matter is modular typechecking. Consider the
following example:
// module widget.d
@safe class Widget {
void fun() {
g_widget = this;
}
}
static Widget g_widget;
// end of module widget.d
Now, once the typechecker OKs module widget.d, the summary that
all other typechecking "sees" is:
@safe class Widget {
void fun();
}
Isn't it a shame that that kind of information gets tossed aside?
Seems to be very valuable and the loss of it the cause of several
issues.
