Document `InferTy` & co.#80402

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

camelid:inferty-docscamelid/rust:inferty-docsCopy head branch name to clipboard