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