diff options
author | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-10-06 14:00:37 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-10-06 14:00:37 +0200 |
commit | f09f4858c05fada45973712a5c2010b99642de22 (patch) | |
tree | 3ae6505f530f0ead4a32b9019c405ec8388b8dcd /test/files | |
parent | bfde67dbb0790c4b853970dd3700ccbc9a88c6d7 (diff) | |
parent | a87db212098a5e69176652c93284f425bb7e1b09 (diff) | |
download | scala-f09f4858c05fada45973712a5c2010b99642de22.tar.gz scala-f09f4858c05fada45973712a5c2010b99642de22.tar.bz2 scala-f09f4858c05fada45973712a5c2010b99642de22.zip |
Merge pull request #4029 from retronym/ticket/8291
SI-8291 Fix implicitNotFound message with type aliases
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/t8291.check | 7 | ||||
-rw-r--r-- | test/files/neg/t8291.scala | 7 |
2 files changed, 14 insertions, 0 deletions
diff --git a/test/files/neg/t8291.check b/test/files/neg/t8291.check new file mode 100644 index 0000000000..c9972e5575 --- /dev/null +++ b/test/files/neg/t8291.check @@ -0,0 +1,7 @@ +t8291.scala:5: error: Could not find implicit for Int or String + implicitly[X[Int, String]] + ^ +t8291.scala:6: error: Could not find implicit for Int or String + implicitly[Z[String]] + ^ +two errors found diff --git a/test/files/neg/t8291.scala b/test/files/neg/t8291.scala new file mode 100644 index 0000000000..b344586a56 --- /dev/null +++ b/test/files/neg/t8291.scala @@ -0,0 +1,7 @@ +@scala.annotation.implicitNotFound("Could not find implicit for ${T} or ${U}") trait X[T, U] + +object Test { + type Z[U] = X[Int, U] + implicitly[X[Int, String]] + implicitly[Z[String]] +} |