Fixes

Author: LPeter1997

src/Draco.Compiler.Tests/Semantics/TypeCheckingTests.cs

@@ -1930,7 +1930,7 @@ public void PassBaseTypeToDerivedTypeParameter()
 
         // Assert
         Assert.Single(diags);
-        AssertDiagnostics(diags, TypeCheckingErrors.NoMatchingOverload);
+        AssertDiagnostics(diags, TypeCheckingErrors.TypeMismatch);
     }
 
     [Fact]

src/Draco.Compiler/Internal/Solver/ConstraintSolver.cs

@@ -110,7 +110,7 @@ private void CheckForIncompleteInference(DiagnosticBag diagnostics)
             location: InferDiagnosticTargetSyntax(this.Context.DeclaringSyntax)?.Location,
             formatArgs: this.ContextName));
 
-        this.FailRemainingRules();
+        this.FailRemainingRules(diagnostics);
     }
 
     /// <summary>

src/Draco.Compiler/Internal/Solver/ConstraintSolver_Rules.cs

@@ -454,7 +454,8 @@ private static void FailOverload(Overload overload)
     /// <summary>
     /// Fails all remaining rules in the solver.
     /// </summary>
-    private void FailRemainingRules()
+    /// <param name="diagnostics">Diagnostics to report to.</param>
+    private void FailRemainingRules(DiagnosticBag diagnostics)
     {
         var previousStoreSize = this.constraintStore.Count;
         while (true)
@@ -478,7 +479,7 @@ private void FailRemainingRules()
             this.constraintStore.RemoveAll(constraintsToRemove);
 
             // Assume this solves everything
-            this.SolveUntilFixpoint(DiagnosticBag.Empty);
+            this.SolveUntilFixpoint(diagnostics);
 
             // Check for exit condition
             if (previousStoreSize == this.constraintStore.Count) break;