tree f0d87f479f8db1155d437930eb5144004f5359d0
parent 689cef324977076ad825a25ba64502981540213b
author Christoffer Quist Adamsen <christofferqa@google.com> 1574799088 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1574843107 +0000

Record that singleton fields from lambda merger are definitely-not-null

Change-Id: I01d73730c6dcf0af6a1536000560680dd96d5bfd