[DSLX:BC] Fix disagreement between typechecker and interpreter on whether `trace` returns its operand#1819

Merged

copybara-service[bot] merged 1 commit intogoogle:mainfrom xlsynth:cdleary/2024-12-30-trace-returns-nil

Jan 6, 2025

+52-12

Commits on Jan 2, 2025

[DSLX:BC] Fix disagreement between typechecker and interpreter on whether trace returns its operand.
cdleary
committed