The debug/ tests are indeed a special case. Ideally we'd be testing that the right warnings are generated, too. But to start with certainly we can do something less than the ideal.