add various coments to explain how the TAIT code works#86437

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

nikomatsakis:tait-docsnikomatsakis/rust:tait-docsCopy head branch name to clipboard