first test case, not working

tek · Oct 4, 2023 · 2179d8a · 2179d8a
1 parent 82b2520
commit 2179d8a
Showing 1 changed file with 28 additions and 0 deletions.
diff --git a/core/src/test/scala/splain/plugin/VTypeDiffsDetailSpec.scala b/core/src/test/scala/splain/plugin/VTypeDiffsDetailSpec.scala
@@ -4,6 +4,8 @@ import splain.SpecBase
 
 class VTypeDiffsDetailSpec extends SpecBase.Direct {
 
+  override def defaultExtraSetting: String = "-P:splain:Vtype-reduction"
+
   final val diff =
     """
     object Diff {
@@ -37,6 +39,23 @@ class VTypeDiffsDetailSpec extends SpecBase.Direct {
     }
 """
 
+  final val diff2 =
+    """
+object Diff {
+  class Example {
+
+    type VV
+  }
+  
+  val e1 = new Example {
+
+    type VV <: Int
+  }
+
+  implicitly[e1.VV =:= String]
+}
+  """
+
   describe("#112") {
 
     check(diff, numberOfErrors = 4, profile = "-P:splain:Vtype-diffs-detail:1")
@@ -45,4 +64,13 @@ class VTypeDiffsDetailSpec extends SpecBase.Direct {
 
     check(diff, numberOfErrors = 4, profile = "-P:splain:Vtype-diffs-detail:4")
   }
+
+  describe("#44") {
+
+    check(diff2, numberOfErrors = 4, profile = "-P:splain:Vtype-diffs-detail:1")
+
+    check(diff2, numberOfErrors = 4, profile = "-P:splain:Vtype-diffs-detail:2")
+
+    check(diff2, numberOfErrors = 4, profile = "-P:splain:Vtype-diffs-detail:4")
+  }
 }