Можно ли объявить функцию «нет возврата» в Scala? Т.е.
def abort(): ! = { System.exit(1); }
(! в этом примере взято из Rust, и это означает: вход в эту функцию является поездкой в одну сторону, и мы никогда не вернемся из нее)
!