Fix TreeNodeFilter OR-pattern diagnostics#7415

Merged

Evangelink merged 11 commits into

mainfrom

dev/amauryleve/tree-node-filter

May 26, 2026

Commits on Feb 14, 2026

Fix TreeNodeFilter OR-pattern diagnostics
Evangelink
committed

Commits on May 16, 2026

Commits on May 21, 2026

Add changelog entry for TreeNodeFilter diagnostics

Evangelink
and
Copilot
committed

Commits on May 23, 2026

Merge remote-tracking branch 'origin/main' into dev/amauryleve/tree-node-filter
Evangelink
committed