Idiomatic: Misc. minor tweaks to the type system section#3165

mgeisler merged 2 commits intogoogle:maingoogle/comprehensive-rust:mainfrom

randomPoison:type-system-misc-fixesrandomPoison/comprehensive-rust:type-system-misc-fixesCopy head branch name to clipboard