fix rogue diagnostic on varargs calls

Author: dcodeIO

src/compiler.ts

@@ -6653,6 +6653,9 @@ export class Compiler extends DiagnosticEmitter {
     thisArg: ExpressionRef = 0,
     immediatelyDropped: bool = false
   ): ExpressionRef {
+    if (instance.is(CommonFlags.VIRTUAL)) {
+      this.virtualCalls.add(instance);
+    }
     var module = this.module;
     var numArguments = operands ? operands.length : 0;
     var signature = instance.signature;
@@ -7282,7 +7285,7 @@ export class Compiler extends DiagnosticEmitter {
             ));
             continue;
           }
-          let resolved = this.resolver.lookupExpression(initializer, instance.flow, parameterTypes[i]);
+          let resolved = this.resolver.lookupExpression(initializer, instance.flow, parameterTypes[i], ReportMode.SWALLOW);
           if (resolved) {
             if (resolved.kind == ElementKind.GLOBAL) {
               let global = <Global>resolved;

src/program.ts

@@ -3689,7 +3689,7 @@ export class Class extends TypedElement {
   }
 
   /** Tests if this class potentially forms a reference cycle to another one. */
-  private cyclesTo(other: Class, except: Set<Class> = new Set<Class>()): bool {
+  private cyclesTo(other: Class, except: Set<Class> = new Set()): bool {
     // TODO: The pure RC paper describes acyclic data structures as classes that may contain
     //
     // - scalars

src/resolver.ts

@@ -665,17 +665,19 @@ export class Resolver extends DiagnosticEmitter {
     }
     var argumentCount = typeArgumentNodes ? typeArgumentNodes.length : 0;
     if (argumentCount < minParameterCount || argumentCount > maxParameterCount) {
-      this.error(
-        DiagnosticCode.Expected_0_type_arguments_but_got_1,
-        argumentCount
-          ? Range.join(
-              typeArgumentNodes![0].range,
-              typeArgumentNodes![argumentCount - 1].range
-            )
-          : alternativeReportNode!.range,
-        (argumentCount < minParameterCount ? minParameterCount : maxParameterCount).toString(),
-        argumentCount.toString()
-      );
+      if (reportMode == ReportMode.REPORT) {
+        this.error(
+          DiagnosticCode.Expected_0_type_arguments_but_got_1,
+          argumentCount
+            ? Range.join(
+                typeArgumentNodes![0].range,
+                typeArgumentNodes![argumentCount - 1].range
+              )
+            : alternativeReportNode!.range,
+          (argumentCount < minParameterCount ? minParameterCount : maxParameterCount).toString(),
+          argumentCount.toString()
+        );
+      }
       return null;
     }
     var typeArguments = new Array<Type>(maxParameterCount);