``` fn f() -> ! { fail fail } fn main() { } ``` ``` test.rs:1:19: 1:23 error: internal compiler error fail called with unsupported type _|_ ```