zypeh
says to
YSITD
https://doc.rust-lang.org/book/functions.html#diverging-functions
原来还真的写在手册里啦