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