Rename EII attributes slightly (being consistent in naming things foreign items, not extern items)#150972

rust-bors[bot] merged 2 commits intorust-lang:mainrust-lang/rust:mainfrom

jdonszelmann:rename-attrsjdonszelmann/rust:rename-attrsCopy head branch name to clipboard