Update check file

liufengyun · liufengyun · commit 27bb8f1ef402 · 2020-10-27T17:45:16.000+01:00
The error message is arguably better for diverging implicits.
diff --git a/tests/neg/i9568.check b/tests/neg/i9568.check
@@ -1,9 +1,9 @@
 -- Error: tests/neg/i9568.scala:13:10 ----------------------------------------------------------------------------------
 13 |  blaMonad.foo(bla) // error: diverges
    |          ^
-   |no implicit argument of type => Monad[([_$3] =>> Any)] was found for parameter ev of method blaMonad in object Test.
-   |I found:
+   |          no implicit argument of type => Monad[F] was found for parameter ev of method blaMonad in object Test.
+   |          I found:
    |
-   |    Test.blaMonad[Nothing, S](Test.blaMonad[F, S])
+   |              Test.blaMonad[Nothing, S](Test.blaMonad[F, S])
    |
-   |But method blaMonad in object Test does not match type => Monad[Nothing].
+   |          But method blaMonad in object Test does not match type => Monad[Nothing].

Original file line number	Diff line number	Diff line change
`@@ -1,9 +1,9 @@`
`1`	`1`	`-- Error: tests/neg/i9568.scala:13:10 ----------------------------------------------------------------------------------`
`2`	`2`	`13 \| blaMonad.foo(bla) // error: diverges`
`3`	`3`	`\| ^`
`4`		`- \|no implicit argument of type => Monad[([_$3] =>> Any)] was found for parameter ev of method blaMonad in object Test.`
`5`		`- \|I found:`
	`4`	`+ \| no implicit argument of type => Monad[F] was found for parameter ev of method blaMonad in object Test.`
	`5`	`+ \| I found:`
`6`	`6`	`\|`
`7`		`- \| Test.blaMonad[Nothing, S](Test.blaMonad[F, S])`
	`7`	`+ \| Test.blaMonad[Nothing, S](Test.blaMonad[F, S])`
`8`	`8`	`\|`
`9`		`- \|But method blaMonad in object Test does not match type => Monad[Nothing].`
	`9`	`+ \| But method blaMonad in object Test does not match type => Monad[Nothing].`