Local-variable type inference

visit shbcf.ru