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 /src/dotty/tools/dotc/typer/Namer.scala | |
| 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 'src/dotty/tools/dotc/typer/Namer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 8e0b44b05..d67579408 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -378,7 +378,7 @@ class Namer { typer: Typer => class ClassCompleter(cls: ClassSymbol, original: TypeDef)(ictx: Context) extends Completer(original)(ictx) { withDecls(newScope) - protected implicit val ctx = localContext(cls) + protected implicit val ctx: Context = localContext(cls) val TypeDef(_, name, impl @ Template(constr, parents, self, body)) = original |