Merge pull request #8040 from dotty-staging/fix-7990

Fix #7990: handle PolyType in constructor normalization

Author: liufengyun

Diff for: compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala

@@ -271,9 +271,14 @@ class ClassfileParser(
          *  and make constructor type polymorphic in the type parameters of the class
          */
         def normalizeConstructorInfo() = {
-          val mt @ MethodType(paramNames) = denot.info
           val rt = classRoot.typeRef appliedTo (classRoot.typeParams map (_.typeRef))
-          denot.info = mt.derivedLambdaType(paramNames, mt.paramInfos, rt)
+
+          def resultType(tpe: Type): Type = tpe match {
+            case mt @ MethodType(paramNames) => mt.derivedLambdaType(paramNames, mt.paramInfos, rt)
+            case pt : PolyType => pt.derivedLambdaType(pt.paramNames, pt.paramInfos, resultType(pt.resType))
+          }
+
+          denot.info = resultType(denot.info)
           addConstructorTypeParams(denot)
         }
 

Diff for: tests/run/i7990/Exception_1.java

@@ -0,0 +1,7 @@
+public class Exception_1 {
+    public <T> Exception_1(T actual, T matcher) {
+    }
+
+    public Exception_1(String message) {
+    }
+}

Diff for: tests/run/i7990/Test_2.scala

@@ -0,0 +1 @@
+@main def Test = Exception_1("error")