WIP

Author: strottos

tests/ui/mismatched_types/generic-mismatch-reporting-issue-116615.rs

@@ -11,6 +11,6 @@ fn main() {
     //~^  ERROR arguments to this function are incorrect
     foo_multi_generics("a", "b", "c", true, false, 32, 2.);
     //~^  ERROR arguments to this function are incorrect
-    foo_same_generics("a", 1, "c", 2);
+    foo_same_generics("a", 1, 2, "c");
     //~^  ERROR arguments to this function are incorrect
 }

tests/ui/mismatched_types/generic-mismatch-reporting-issue-116615.stderr

@@ -90,11 +90,11 @@ note: function defined here
   --> $DIR/generic-mismatch-reporting-issue-116615.rs:4:4
    |
 LL | fn foo_same_generics<T, T>(a: T, b: T, c: T, d: T) {}
-   |    ^^^^^^^^^^^^^^^^^ -  -  ----  ----  ----  ---- this parameter needs to match the `&str` type of `a` and `c`
+   |    ^^^^^^^^^^^^^^^^^ -  -  ----  ----  ----  ---- `b` and `c` need to match the `&str` type of this parameter
    |                      |  |  |     |     |
-   |                      |  |  |     |     `b` and `d` need to match the `&str` type of this parameter
-   |                      |  |  |     this parameter needs to match the `&str` type of `a` and `c`
-   |                      |  |  `b` and `d` need to match the `&str` type of this parameter
+   |                      |  |  |     |     this parameter needs to match the `&str` type of `a` and `d`
+   |                      |  |  |     this parameter needs to match the `&str` type of `a` and `d`
+   |                      |  |  `b` and `c` need to match the `&str` type of this parameter
    |                      |  `a`, `b`, `c` and `d` all reference this parameter T
    |                      `a`, `b`, `c` and `d` all reference this parameter T