Rename typing modes to better describe real usage#157667

rust-bors[bot] merged 3 commits into

rust-lang:mainrust-lang/rust:mainfrom

jdonszelmann:rename-typingmode-againjdonszelmann/rust:rename-typingmode-againCopy head branch name to clipboard