Allow for a missing `adt_def` in `NamePrivacyVisitor`.#121482

Merged

bors merged 1 commit intorust-lang:masterfrom

nnethercote:fix-121455

Feb 23, 2024

Commits on Feb 22, 2024

Allow for a missing `adt_def` in `NamePrivacyVisitor`.
nnethercote
committed