Fix for 'const C.named()' type inference when 'C' is resolved and has type parameters, but 'named' …

pkg/analyzer/lib/src/summary/link.dart

Index: pkg/analyzer/lib/src/summary/link.dart
diff --git a/pkg/analyzer/lib/src/summary/link.dart b/pkg/analyzer/lib/src/summary/link.dart
index d67a8e5c69d414c372e25656fe538c41e38b303c..a43bc65dd11b97f840e38139a04eea73c4794aab 100644
--- a/pkg/analyzer/lib/src/summary/link.dart
+++ b/pkg/analyzer/lib/src/summary/link.dart
@@ -2381,7 +2381,14 @@ class ExprTypeComputer {
     } else {
       ClassElementForLink classElement =
           unit.resolveConstructorClassRef(ref.reference).asClass;
-      stack.add(classElement?.type ?? DynamicTypeImpl.instance);
+      DartType inferredType;
+      if (classElement != null) {
+        InterfaceType rawType = classElement.type;
+        inferredType = linker.typeSystem.instantiateToBounds(rawType);
+      } else {
+        inferredType = DynamicTypeImpl.instance;
+      }
+      stack.add(inferredType);
     }
   }