Auto merge of #124419 - WaffleLapkin:never-type-fallback-docs, r=workingjubilee

Document never type fallback in `!`'s docs

Pulled the documentation I've written for #123939.

I want a single place where never type fallback is explained, which can be referred in all the lints and migration materials.

Author: bors