Fix `repr(...)` validation ICE#85976

mibac138 wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

mibac138:ice85713mibac138/rust:ice85713Copy head branch name to clipboard