1defmodule Dialyzer.ForBitstring do
2  def foo() do
3    for a <- 1..3, into: "", do: <<a>>
4  end
5end
6