关于typescript:ts-null类型报错但我已经做了非空判断

代码如下：
Playground Link

class TreeNode {
  val: number
  left: TreeNode | null
  right: TreeNode | null
  constructor(val?: number, left?: TreeNode | null, right?: TreeNode | null) {this.val = (val === undefined ? 0 : val)
    this.left = (left === undefined ? null : left)
    this.right = (right === undefined ? null : right)
  }
}
function preorderTraversal(root: TreeNode | null): number[] {const result: number[] = []
  read(root)
  function read(node: typeof root): TreeNode[] {if (root === null) return []
    result.push(node.val)
    if (node.left) read(node.left)
    if (node.right) read(node.right)
  }
  return result
}

遇到的问题：

• 如图所示的报错，函数返回值可能为 undefined
• 最开始做了 null 的判断，node 还是会被断定为可能为 null

当初代码在逻辑上没有问题，且在 leetcode 上也能顺利通过，而且，我认为目前的类型也是正当的。
当初想把所有的报错全都解决掉，除了用 ! 做非空断言，还有别的什么形式吗？