The function whose return type is Nothing cannot be called in the REPL top-level environment

[Glavo]

scala> def exit(): Nothing = {System.exit(0); throw new AssertionError} 
def exit(): Nothing
scala> exit() 
1 |exit()
  |^
  |value `show` is not a member of Nothing