Found in #49142: ```ts declare let isActive: boolean; declare let onChange: () => void; if (!isActive && onChange) onChange(); ``` Expected: no error because `onChange()` is used in the conditional body. Actual: always-truthy error in the `if` condition.