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
ty_def_id so people will stop using it by accident#134265bors merged 1 commit intorust-lang:masterfrom