Trace ?id.local_def_index instead of id in def_path_hash - #157241
Merged
rust-bors[bot] merged 1 commit intoJun 2, 2026
?id.local_def_index instead of id in def_path_hash - #157241