Silence spurious smartmatch warnings