[FIX] GH-849: Defer type errors when pushing type checks into `if` branches.