tree c05a2c5468e83518cb0774a7cb09d89932e9bbb9
parent e85345edfdab0133ed4688934b4fd7cc05219668
author Ian Zerny <zerny@google.com> 1608200819 +0100
committer Ian Zerny <zerny@google.com> 1608200897 +0000

Missing merge fixes for hygienic lambda desugaring.

Change-Id: I45defebdb2db27a0da1b431eee1b8b20192af8a8