不支持，从OTP 23（甚至24）开始，不支持此功能。
此外，期望Dialyzer在这样的情况下提供帮助是不明智的，因为Dialyzer经常过于近似，原因有几个，尽管我不认为它会立即将这样的类型转换为term()，但它很可能在第一次给出机会时就这样做（例如，无论你在哪里调用这样的函数）。

作为一种可能的解决方法，您可以为函数定义一个规范，如下所示：

-spec foo(pid()) -> ...;
             (any()) -> ...
    foo(data) when is_pid(data) -> error;
    foo(data) -> ....

特别是对于anything_but_pid()，您可以“简单地”枚举所有其他选项：

-type anything_but_pid() :: port()
                          | reference()
                          | atom()
                          | bitstring()
                          | number()
                          | fun()
                          | maybe_improper_list()
                          | map()
                          | tuple()

当然，这并不能一概而论......