Move uninhabited_references to nursery#11997
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 23, 2023
TethysSvensson:uninhabited-references-pedantic
Merged
Move `uninhabited_references` to `nursery`#11997bors merged 1 commit intorust-lang:masterfrom TethysSvensson:uninhabited-references-pedantic
bors merged 1 commit intorust-lang:masterfrom
TethysSvensson:uninhabited-references-pedantic
