Doesn't narrow when there's leading ?

[devanshj]

import { p, pa } from "@sthir/predicate"

declare let x:
  | { a: string }
  | undefined

if (pa(x, p("?.a"))) {
  x.a
  // should compile, doesn't
}

[VinSpee]

edit: ➡️ Moved to #2

[devanshj]

Thanks for reporting, although your case doesn't belong to this issue, I'll open a new one. This is another issue that I happen to find out, and when fixed doesn't solve yours.