Skip to content

Fix redefinition of policy<> when float and double are both unpromoted - #1579

Merged
NAThompson merged 1 commit into
developfrom
no-promotion-policy-redefinition
Oct 16, 2026
Merged

NAThompson merged 1 commit into
developfrom
no-promotion-policy-redefinition

Fix redefinition of policy<> when float and double are both unpromoted

fd5acfa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar