在TypeScript中，当调用函数时，为什么可以提示null参数具有其他类型？

我试图了解TypeScript行的A编译方式，而行B却没有。

function someFunction<T>(arg: T): void {
  console.log(arg)
}

someFunction<string>('some string') // obviously, it works
someFunction<string>(null)          // [A] compiles
someFunction<string>(2)             // [B] doesn't compile

在第3行中A，我暗示编译器该参数是类型的，string而显然不是。但是，TypeScript将编译该行而不会发出任何错误。

这不会在B行中发生。我传递了anumber并暗示它是a string。

怎么行A不会失败编译？类型是否有特殊情况null？

尽管进行了谷歌搜索，但我找不到令人满意的解释。欢迎提供指向资源的链接，以解释我的代码中发生的事情。