[GHC] #12617: Make the interface of traceTc and traceRn the same