diff options
author | odersky <odersky@gmail.com> | 2015-10-25 13:39:10 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-10-25 13:39:10 +0100 |
commit | ecf62cf18b43b5a39e973bdc8087675a24337ce0 (patch) | |
tree | 33619b5d8f9cf84797b547d7e2bf50c4fcb95dc7 /tests | |
parent | 77f7b2a4e988aa610a3cf7d92bb8838359127176 (diff) | |
parent | 0a386a85da9c6df97bf2cb6627e1f905af17c123 (diff) | |
download | dotty-ecf62cf18b43b5a39e973bdc8087675a24337ce0.tar.gz dotty-ecf62cf18b43b5a39e973bdc8087675a24337ce0.tar.bz2 dotty-ecf62cf18b43b5a39e973bdc8087675a24337ce0.zip |
Merge pull request #843 from dotty-staging/fix-#830
Fix #830: Compiler hangs on implicit search with singleton &/|
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/i830.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/i830.scala b/tests/pos/i830.scala new file mode 100644 index 000000000..8fcb29f36 --- /dev/null +++ b/tests/pos/i830.scala @@ -0,0 +1,6 @@ +object C { + trait X[T] + implicit def u[A, B]: X[A | B] = new X[A | B] {} + def y[T](implicit x: X[T]): T = ??? + val x: 1 & 2 | 2 & 3 = y +} |