tree 8c6e924c115a82e41ed11e2334fff01a89c6bbbf
parent a85f7816b8b0cea34c60e0b6f58159cf56039174
author Clément Béra <clementbera@google.com> 1674819755 +0100
committer Clément Béra <clementbera@google.com> 1674819811 +0000

Fix resolution assertions in desugared library

Change-Id: I56e15a3bba9108934f54103e052e407068f11344