[Issue 15573] mystery crashes in @safe code

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15573

--- Comment #17 from hsteoh at quickfur.ath.cx ---
The way dustmite works is not by some clever solution to the halting problem
(haha), it's simply by trial-and-error deleting parts of the syntax tree of the
program until the original error no longer occurs. It recursively refines its
reduction, so that by the time it's done, what's left is usually pretty close
to minimal code.

Sometimes, it does get stuck, but a little human editing of the intermediate
reduction and running dustmite again on the result often gets even closer to
minimal. It beats hand-reducing the code through the entire process, if nothing
else.

--