Skip to content

checker: keep map-copy guard for option-map or-unwraps (#27867)#27870

Open
medvednikov wants to merge 16 commits into
masterfrom
fix-27867-or-unwrap-option-map
Open

checker: keep map-copy guard for option-map or-unwraps (#27867)#27870
medvednikov wants to merge 16 commits into
masterfrom
fix-27867-or-unwrap-option-map

checker: revert unsound option-map or-unwrap exemption; require clone…

73ce15c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar