What if sealed class is in another module (separate compilation)?

when

will throw an exception when you add another case without recompiling. What should happen in this case?