Mention that type parameters are used recursively on bivariance error#127871

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

compiler-errors:recursivecompiler-errors/rust:recursiveCopy head branch name to clipboard