Ben Gamari authored Jun 28, 2023 and Zubin committed Sep 13, 2023

As debugTrace is a macro we must take care to ensure that
the fact is clear to the compiler lest we see warnings.

(cherry picked from commit 7c7d1f66)