Try to make refinements match in approximateUnions

See comment in Typer#approximateUnion for an explanation.
Fixes #1045.

1 files changed, 7 insertions, 0 deletions

diff --git a/tests/pos/i1045.scala b/tests/pos/i1045.scala
new file mode 100644
index 000000000..f5985af92
--- /dev/null
+++ b/tests/pos/i1045.scala
@@ -0,0 +1,7 @@
+import scala.collection._
+object T {
+  val newSymbolMap: mutable.HashMap[String, mutable.HashMap[Int, Double]] = mutable.HashMap.empty
+  val map = newSymbolMap.getOrElse("a", mutable.HashMap.empty)
+  map.put(1, 0.0)
+  newSymbolMap.put("a", map)
+}