Skip to content

Fix #446: reject a substitution that drops the symbol's assumptions - #461

Open
petlenz wants to merge 1 commit into
mainfrom
fix-446-substitution-assumptions
Open

Fix #446: reject a substitution that drops the symbol's assumptions#461
petlenz wants to merge 1 commit into
mainfrom
fix-446-substitution-assumptions

Fix #446: reject a replacement that drops the symbol's assumptions

1aac4ae
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
clang-tidy
succeeded Sep 20, 2026 in 7m 16s