avoid an ICE in `ptr_as_ptr` when getting the def_id of a local#12617

Merged

bors merged 1 commit intorust-lang:masterfrom

y21:issue-12616

Apr 2, 2024

Commits on Apr 2, 2024

avoid an ICE in `ptr_as_ptr` when getting the def_id of a local
y21
committed