tree 672ca0cbc5bf2e6211c1fc3f9b91fbce1202677e
parent 8a5f3df3727e675b2155580ffc9453c50b46cd7d
author Søren Gjesse <sgjesse@google.com> 1623246158 +0200
committer Søren Gjesse <sgjesse@google.com> 1623246211 +0000

Reproduce failure when library desugaring already desugared cf input

This also introduce test of different ways to get the desugared library
mismatch error.

Bug: 190075882
Change-Id: I572c9dadfce1a0f78e238ab3b4cbc4a047926ef8