two_bugs_in_one.cr

{% if true %}
  # Tuple as part of the alias breaks things:
  alias Type = String | Hash(Type, Type) | Array(Type) | Tuple(Type, Type)
{% else %}
  # This works fine: No Tuple() part!
#   alias Type = String | Hash(Type, Type) | Array(Type)
  alias Type = String
{% end %}

class Val
  getter raw : Type

  def initialize(@raw)
  end

  def first
    case object = @raw
    when Enumerable
      object.first
    when String
      object[0, 1]
    end
  end
end

# This one works just fine.
pp Val.new("foo").first

# #first will return random memory as String
pp Val.new({ "foo".as(Type), "foo".as(Type) }).first

# And this will outright crash the compiler
# pp Val.new({"foo".as(Type) => "bar".as(Type)}).first