使用 Python 3.10 键入注释

Question

我试图了解 Python 3.10 的类型注释。 请考虑以下功能：

def A(n: int):
    return [k for k in range(n+1)]   
    
def B(n: int):
    return B(n - 1) + [n] if n > 0 else [0]

VSCode 中显示的类型提示有：

(function) A: (n: int) -> list[int]   
(function) B: (n: int) -> (Any | list[int])

为什么在这两种情况下返回类型都不是 list[int] ？

更具体地说：我如何编写递归变体 B 以仅获取类型 list[int] 作为返回类型？