Fix a trimmed_def_paths assertion failure.#120216
Merged
bors merged 1 commit intorust-lang:masterfrom nnethercote:fix-trimmed_def_paths-assertionJan 23, 2024
-2
trimmed_def_paths assertion failure.#120216