add tests for explicit generics on case classes

Author: halotukozak

analyzer/src/test/scala/com/avsystem/commons/analyzer/ExplicitGenericsTest.scala

@@ -43,11 +43,22 @@ final class ExplicitGenericsTest extends AnyFunSuite with AnalyzerTest {
   }
 
   test("inferred in constructor should be rejected") {
-    assertErrors(1,
+    assertErrors(2,
       scala"""
              |import com.avsystem.commons.analyzer.TestUtils
              |
              |val x = new TestUtils.GenericClass()
+             |val y = new TestUtils.GenericCaseClass(123)
+             |""".stripMargin)
+  }
+
+
+  test("inferred in apply when constructor marked should be rejected") {
+    assertErrors(1,
+      scala"""
+             |import com.avsystem.commons.analyzer.TestUtils
+             |
+             |val x = TestUtils.GenericCaseClass(123)
              |""".stripMargin)
   }
 
@@ -59,4 +70,18 @@ final class ExplicitGenericsTest extends AnyFunSuite with AnalyzerTest {
              |val x = new TestUtils.GenericClass[Int]()
              |""".stripMargin)
   }
+
+  test("not marked should not be rejected") {
+    assertNoErrors(
+      scala"""
+             |def method[T](e: T) = e
+             |class NotMarkedGenericClass[T]
+             |final case class NotMarkedGenericCaseClass[T](arg: T)
+             |
+             |val w = method(123)
+             |val x = new NotMarkedGenericClass()
+             |val y = NotMarkedGenericCaseClass(123)
+             |val z = new NotMarkedGenericClass()
+             |""".stripMargin)
+  }
 }

analyzer/src/test/scala/com/avsystem/commons/analyzer/TestUtils.scala

@@ -32,5 +32,6 @@ object TestUtils {
   @explicitGenerics
   class GenericClass[T]
 
+  @explicitGenerics
   case class GenericCaseClass[T](arg: T)
 }