tree a3e7c7c0870df67fe4603245670ffe5be6da3c6b
parent 8fc40ef6bd751aacfee112857cc3104dab5e7961
author clementbera <clementbera@google.com> 1583406508 +0100
committer clementbera <clementbera@google.com> 1583406508 +0100

Remove MyEnum.values().length

- Add AssumeNonNull for array type.
- javac generated values() method for enum is now side-effect free.

Bug: 147860220
Change-Id: I206631a44145b4706ece770f939beac11fbaac9a