Skip to content

parent_module_from_def_id does not need to be a query.#114516

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:direct-module-parent
Aug 6, 2023
Merged

parent_module_from_def_id does not need to be a query.#114516
bors merged 1 commit intorust-lang:masterfrom
cjgillot:direct-module-parent

Commits

Commits on Aug 5, 2023