バグではなくて仕様ですと言われるだろうと思っていたが、
この仕様は不親切設計であると思う。
0個と返さないのなら空集合を返してほしいところ。

Wolfram Language 14.0.0 Engine for Microsoft Windows (64-bit)
Copyright 1988-2023 Wolfram Research, Inc.

In[1]:= {1,2,3,4} /. Counts[{}]

Out[1]= {1, 2, 3, 4}