Rename ty_def_id so people will stop using it by accident#134265
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 14, 2024
ty_def_id so people will stop using it by accident#134265