checagem de tipos na atribuicao