Árpád Goretity 

> I haven't thought this through fully Unfortunately, it doesn't really work. Basically, needing to instantiate a value of the type is not the only issue. I've run into this...

> it can be special cased with impunity (I exaggerate) to improve the ergonomics here I think that would be *really* sad. I think the right direction is making the...

> You mentioned this leads to unsoundness without providing a specific example As I mentioned, I couldn't find the relevant discussion thread off the top of my head; there was...

@mqudsi [I've found it](https://internals.rust-lang.org/t/never-types-and-inference), it was on IRLO, not GitHub. See KennyTM's, comex's, Centril's, ExHP's, and CAD97's comments for the most important highlights.

I think definitely; properties of never like this can be extremely convenient and elegant at times, we just have to be very careful about soundness. I'd be fine with something...