Skip to content

Fix ice in undocumented_unsafe_blocks#7891

Merged
bors merged 2 commits intorust-lang:masterfrom
giraffate:fix_ice_for_undocumented_unsafe_blocks
Oct 28, 2021
Merged

Fix ice in `undocumented_unsafe_blocks`#7891
bors merged 2 commits intorust-lang:masterfrom
giraffate:fix_ice_for_undocumented_unsafe_blocks

Commits

Commits on Oct 27, 2021

Commits on Oct 28, 2021