Check entry type as part of item type checking.#113545

Merged

bors merged 1 commit intorust-lang:masterfrom

cjgillot:query-entry

Jul 16, 2023

Commits on Jul 15, 2023

Check entry type as part of item type checking.
cjgillot
committed