tree 8a9a60698b75f97c1bb4814e6b54a670d97d064f
parent 1ab1290cb08d16fc1f3a68d625aaf485eb4f9279
author clementbera <clementbera@google.com> 1578923658 +0100
committer Clément Béra <clementbera@google.com> 1578933299 +0000

Desugared library: j$ extensions

- Explicit error message when extending the
  desugared library.

Bug: 147399278
Change-Id: I07fe4e9f2fdb722485ed14b6fd9f0f3ba1cdcc83