I think its not just us messing around under the skirts though, this behavior is supposed to work when you set the flag: --compile-zinc-clear-invalid-analysis. RB forthcoming