diff options
Diffstat (limited to 'test/files/neg/t3399.check')
| -rw-r--r-- | test/files/neg/t3399.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/t3399.check b/test/files/neg/t3399.check index eb6c679704..987da944c6 100644 --- a/test/files/neg/t3399.check +++ b/test/files/neg/t3399.check @@ -1,4 +1,4 @@ -t3399.scala:23: error: could not find implicit value for parameter e: =:=[Nats.Add[Nats._1,Nats._1],Nats._1] +t3399.scala:23: error: Cannot prove that Nats.Add[Nats._1,Nats._1] =:= Nats._1. implicitly[ Add[_1, _1] =:= _1] ^ one error found |