Add test case that shows the current problem with product members

nicolasstucki · nicolasstucki · commit 9547198f5e81 · 2023-06-30T17:48:07.000+02:00
diff --git a/stdlib-bootstrapped/test/Main.scala b/stdlib-bootstrapped/test/Main.scala
@@ -15,6 +15,7 @@ object HelloWorld:
 
     testScala2UnapplySignatures()
     testScala2ObjectParents()
+    testScala2CaseClassUnderscoreMembers()
   }
 
   def testScala2UnapplySignatures() = {
@@ -31,3 +32,8 @@ object HelloWorld:
     assert(!typeChecks("Either: scala.deriving.Mirror.Sum"))
     assert(!typeChecks("Either: scala.deriving.Mirror"))
   }
+
+  def testScala2CaseClassUnderscoreMembers() = {
+    val some: Some[Int] = Some(1)
+    // FIXME: assert(!typeChecks("some._1"))
+  }

Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,7 @@ object HelloWorld:`
`15`	`15`
`16`	`16`	`testScala2UnapplySignatures()`
`17`	`17`	`testScala2ObjectParents()`
	`18`	`+ testScala2CaseClassUnderscoreMembers()`
`18`	`19`	`}`
`19`	`20`
`20`	`21`	`def testScala2UnapplySignatures() = {`
`@@ -31,3 +32,8 @@ object HelloWorld:`
`31`	`32`	`assert(!typeChecks("Either: scala.deriving.Mirror.Sum"))`
`32`	`33`	`assert(!typeChecks("Either: scala.deriving.Mirror"))`
`33`	`34`	`}`
	`35`	`+`
	`36`	`+ def testScala2CaseClassUnderscoreMembers() = {`
	`37`	`+ val some: Some[Int] = Some(1)`
	`38`	`+ // FIXME: assert(!typeChecks("some._1"))`
	`39`	`+ }`