From d88a4eeb4597debbf1ec694806fe8224afd9050f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20M=C3=BCller?= <thomas.mi.iller.gitea.tmu@gmail.com>
Date: Tue, 22 Sep 2026 10:45:54 +0000
Subject: [PATCH] :memo: Track optional discriminants under the union-property
 task

---
 backlog.tasks | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backlog.tasks b/backlog.tasks
index f53bfad..e457520 100644
--- a/backlog.tasks
+++ b/backlog.tasks
@@ -63,6 +63,7 @@ Matcher:
 ☐ when using a union type as a property, the current behavior of tagged union matcher is
     to pass never to handler parameters
     → new matcher function needed or can be fixed in tagged union matcher
+    ☐ optional discriminant (`{ type?: "x" }`) is the same hole: the boolean/nullish change now admits the `undefined` tag, so the factory accepts the key, but `Extract<T, Record<K, V>>` still passes `never` to both the `x` and `undefined` handlers
 
 Bugs:
 ✔ TS 7 LSP server logs `context canceled` on stderr at shutdown @done