Second attempt to work around ICE. See #756.