tests showing it works for primitives

TypeChecked · Jul 9, 2019 · 5dd5c8c · jdrphillips · Jul 9, 2019 · jdrphillips
1 parent 5365044
commit 5dd5c8c
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/alphabet-soup/src/test/scala/io/typechecked/alphabetsoup/MixerSpec.scala b/alphabet-soup/src/test/scala/io/typechecked/alphabetsoup/MixerSpec.scala
@@ -37,10 +37,15 @@ class MixerSpec extends FlatSpec with Matchers {
     Mixer[A1, A1].mix(A1(5, "hello")) shouldBe A1(5, "hello")
   }
 
+  it should "select smaller type from larger for primitives" in {
+    implicitly[Mixer[(String, Int), Int]]
+    implicitly[Mixer[(String, Int), String]]
+  }
+
   it should "select smaller type from larger for non-primitives" in {
 
     @Atomic class A
-    @Atomic class B
+    @Atomic class Bgit
 
     pendingUntilFixed{
       "implicitly[Mixer[(A, B), B]]" should compile