Work around ICE in diagnostics for local super-universes missing UniverseInfo
s#115384
Merged
bors merged 5 commits intorust-lang:masterfrom Aug 31, 2023
Merged
Work around ICE in diagnostics for local super-universes missing `UniverseInfo`s#115384bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom