aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/implicitDefs.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-02-02 18:40:08 +0100
committerMartin Odersky <odersky@gmail.com>2014-02-02 18:40:08 +0100
commitf0d34873c27cfbf7dab3909b9855dfeae4e8506e (patch)
tree21e59f593edce4aab9d24b17c63acff53bd85367 /tests/neg/implicitDefs.scala
parent20c0a6a92dc2d618fa557bb19d78d8595ca527e6 (diff)
downloaddotty-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