Set Warnings "+local-declaration".
Fail Let foo : True.