See https://doc.rust-lang.org/book/functions.html#diverging-functions https://doc.rust-lang.org/book/functions.html#diverging-func... and https://doc.rust-lang.

See https://doc.rust-lang.org/book/functions.html#diverging-functions https://doc.rust-lang.org/book/functions.html#diverging-func... and https://doc.rust-lang.org/reference.html#diverging-functions https://doc.rust-lang.org/reference.html#diverging-functions