We can't use the incomplete type simple_trace (actually, there are two of these) inside a template in a non-dependent expression. Use a little template trickery to make the expression dependent, delaying type-checking until later, which simple_trace will be complete.
Douglas Gregor