tree 24478adcb57ba943af545b21c91164b034a8b578
parent 485d7f072b299aaf9b7ead6561192a1985812238
author Ian Zerny <zerny@google.com> 1629205871 +0200
committer Ian Zerny <zerny@google.com> 1629205904 +0000

Ignore legacy retrace test when desugaring.

Change-Id: Ibc33110e19ac2985bd0d527c3ee0073aa578d8f0