Forward progress on never type

Really happy to see these changes to type inference to support `!`. Glad that the Rust developers were willing to cause a little bit of ergonomic pain when it comes to generic types alongside diverging paths. I think the new behavior better-reflects what is going on in the compiler and illustrates exactly where the old behavior could let unsoundness seep in.