The type analyzer now better supports closured variables

thanks Marius for the report