Ah nevermind, I see that it's an error during typechecking instead.