diff options
author | kmb <kmb@google.com> | 2017-10-03 02:14:25 +0200 |
---|---|---|
committer | Klaus Aehlig <aehlig@google.com> | 2017-10-06 19:42:37 +0200 |
commit | bdb12ceeb7c23d7d2293e8006d0aa7127a91b973 (patch) | |
tree | 6b2a83baa22f5a8523fe33fb3706932e5c37d0b2 /scripts | |
parent | 36e2a1c80c0d2bd4455c960833c27b19c0cb6586 (diff) |
add flags to desugar to emit metadata that can be used for double-checking correctness of default and static interface desugaring.
RELNOTES: none
PiperOrigin-RevId: 170779637
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions