diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-02 18:55:47 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-02 18:56:47 +0100 |
commit | 4886d7cb538f9a073827c78671d1890be787c0a5 (patch) | |
tree | 654c02b484be36b885d27677f7ca9328912d5087 /tests/pos | |
parent | 19c8cb1bca7a07395446a0cceaab137e5af2c8c5 (diff) | |
download | dotty-4886d7cb538f9a073827c78671d1890be787c0a5.tar.gz dotty-4886d7cb538f9a073827c78671d1890be787c0a5.tar.bz2 dotty-4886d7cb538f9a073827c78671d1890be787c0a5.zip |
Relaxing check that implicits must have explicit return type
Now this is required only for members of a template. Local statements can still have implicits with no result type. (Maybe we need to get back on this).
Also, changed Dotty itself and tests to adhere to the new restriction.
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/implicits1.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos/implicits1.scala b/tests/pos/implicits1.scala index 2e918cd58..8791d61e6 100644 --- a/tests/pos/implicits1.scala +++ b/tests/pos/implicits1.scala @@ -18,7 +18,7 @@ object Implicits { def foo(cond: Boolean): Int = if (cond) x.foo("abc") else 0 } - implicit def XDecorator(x: X) = new Xdecorator(x) + implicit def XDecorator(x: X): Xdecorator = new Xdecorator(x) val a: Object = "abc" val b: Any = "abc" |