Query associated_item_def_ids when needed#150825
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 9, 2026
Merged
Query associated_item_def_ids when needed#150825rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
