commit | 59370640f451cdb9b18472324f4234c0dc184755 | [log] [tgz] |
---|---|---|
author | cnsun <cnsun@google.com> | Tue Apr 17 15:04:01 2018 -0700 |
committer | Ivan Gavrilovic <gavra@google.com> | Fri May 04 10:41:11 2018 +0100 |
tree | bcfe14e5141434ac7fc753ddaaa6ec5f4e31ecb0 | |
parent | ce0be66cf75cd2c13644542b8ecbb18406ac4c32 [diff] |
Relax the assertion in Desugar for checking the calls to $closeResource(...). It is possible that $closeResource(...) is not used as the calls to it might be eliminated by some optimization tools, such as Proguard. RELNOTES: n/a. PiperOrigin-RevId: 193262552 GitOrigin-RevId: 1a2ab6d54e2a8749549f41055cd66f3f6dfea4cc Change-Id: Ifdbd7b47132b541ecfd831d2a7b83d76853ec206