Test some LUBs.

folone · folone · commit 8ae5c19051b8 · 2014-11-21T15:38:13.000+01:00
diff --git a/test/junit/scala/reflect/internal/TypesTest.scala b/test/junit/scala/reflect/internal/TypesTest.scala
@@ -32,4 +32,12 @@ class TypesTest {
     val uniquelyNarrowed2 = refinedType(boolWithString1narrow2 :: Nil, NoSymbol)
     assert(uniquelyNarrowed1 =:= uniquelyNarrowed2)
   }
+
+  @Test
+  def testLub(): Unit = {
+    assert(lub(List(LiteralType(Constant(0)), LiteralType(Constant(1)))) =:= IntTpe)
+    assert(lub(List(LiteralType(Constant(1)), LiteralType(Constant(1)))) =:= LiteralType(Constant(1)))
+    assert(lub(List(LiteralType(Constant("a")), LiteralType(Constant("b")))) =:= StringTpe)
+    assert(lub(List(LiteralType(Constant("a")), LiteralType(Constant("a")))) =:= LiteralType(Constant("a")))
+  }
 }

Original file line number	Diff line number	Diff line change
`@@ -32,4 +32,12 @@ class TypesTest {`
`32`	`32`	`val uniquelyNarrowed2 = refinedType(boolWithString1narrow2 :: Nil, NoSymbol)`
`33`	`33`	`assert(uniquelyNarrowed1 =:= uniquelyNarrowed2)`
`34`	`34`	`}`
	`35`	`+`
	`36`	`+ @Test`
	`37`	`+ def testLub(): Unit = {`
	`38`	`+ assert(lub(List(LiteralType(Constant(0)), LiteralType(Constant(1)))) =:= IntTpe)`
	`39`	`+ assert(lub(List(LiteralType(Constant(1)), LiteralType(Constant(1)))) =:= LiteralType(Constant(1)))`
	`40`	`+ assert(lub(List(LiteralType(Constant("a")), LiteralType(Constant("b")))) =:= StringTpe)`
	`41`	`+ assert(lub(List(LiteralType(Constant("a")), LiteralType(Constant("a")))) =:= LiteralType(Constant("a")))`
	`42`	`+ }`
`35`	`43`	`}`