I'm happy to merge it, but first let me ask: can this guarantee what the test is supposed to check? It checks that a local variable is not generated, which was clear in the message before.