Well with stronger type guarantees, a lot of the "test" part of that loop gets pushed into "compile". Indeed the core loop becomes edit-typecheck, and while th

Well with stronger type guarantees, a lot of the "test" part of that loop gets pushed into "compile". Indeed the core loop becomes edit-typecheck, and while the compiler can be slow, the type checker tends to be a lot faster than the test suite.