Should be local instead of global, in a box dyn trait, and should report on more useful stuff that the compiler is doing like resolving sources