more targeted errors when extern types end up in places they should not#118551

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:extern-types-bugs

Dec 4, 2023

+22

Commits on Dec 3, 2023

more targeted errors when extern types end up in places they should not
RalfJung
committed