diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-02 18:40:08 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-02 18:40:08 +0100 |
commit | f0d34873c27cfbf7dab3909b9855dfeae4e8506e (patch) | |
tree | 21e59f593edce4aab9d24b17c63acff53bd85367 /tests/neg/implicitDefs.scala | |
parent | 20c0a6a92dc2d618fa557bb19d78d8595ca527e6 (diff) | |
download | dotty-f0d34873c27cfbf7dab3909b9855dfeae4e8506e.tar.gz dotty-f0d34873c27cfbf7dab3909b9855dfeae4e8506e.tar.bz2 dotty-f0d34873c27cfbf7dab3909b9855dfeae4e8506e.zip |
Adding checks for implicit definitions
1) Result type may not be empty
2) Parameters of implicit conversions may not be singletons
Reason for 2) is that we can do a much better caching for eligible implicits if we can widen singleton arguments in ViewProto. This leads to consicderable speedups in implicit search which seem to be hard to get without the restriction.
Diffstat (limited to 'tests/neg/implicitDefs.scala')
0 files changed, 0 insertions, 0 deletions