Skip to content

Replace def_id_no_primitives with def_id#92342

Closed
zredb wants to merge 2 commits into
rust-lang:masterfrom
zredb:issue-90187-fix
Closed

Replace def_id_no_primitives with def_id#92342
zredb wants to merge 2 commits into
rust-lang:masterfrom
zredb:issue-90187-fix

try to fix #90187

8f6edfc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs