object LiteralMaps {
  def test(): Map[Int, Int] = {
    Map(1 -> 2, 3 -> 4, (5, 6))
  }

  def test2(): (Int, Int) = {
    1 -> 2
  }

  def test3(): Map[Int, Int] = {
    Map()
  }

  def test4(): Map[Int, Int] = {
    Map.empty[Int, Int]
  }

  def test5(): Map[Int, Int] = {
    Map.empty[Int, Int]
  }
}

Implement Literal Maps along with Tuple2 shorthands
Implement Literal Maps along with Tuple2 shorthands

This is now supported in Leon:

  Map(elem1, elem2, ...) where elem* are Tuple2 literals.

In particular we can have:

  Map(1 -> 2, 3 -> 4, (5, 6))
