Removing the def_id field from hot ParamEnv to make it smaller#76244

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

vandenheuvel:remove__paramenv__def_idvandenheuvel/rust:remove__paramenv__def_idCopy head branch name to clipboard