Removing the def_id field from hot ParamEnv to make it smaller
#76244
+288
−337
def_id field from hot ParamEnv to make it smaller
#76244