Skip to content

Fix narrowing-rule unapplication across an interposed optional node - #540

Open
johnml1135 wants to merge 2 commits into
masterfrom
fix/narrow-interposed-optional
Open

Fix narrowing-rule unapplication across an interposed optional node#540
johnml1135 wants to merge 2 commits into
masterfrom
fix/narrow-interposed-optional

Commits

  1. Commits on Oct 20, 2026