diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-30 21:37:45 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-30 21:37:45 +0000 |
commit | fa2a19746252334f1691a0b63f4c263db878d438 (patch) | |
tree | 5584816d8e26d4c5d7f99a3944238bcdc1cc9be4 /test/files/scalacheck | |
parent | d782ab3246247a46607365d8c5e43b20ac211de3 (diff) | |
download | scala-fa2a19746252334f1691a0b63f4c263db878d438.tar.gz scala-fa2a19746252334f1691a0b63f4c263db878d438.tar.bz2 scala-fa2a19746252334f1691a0b63f4c263db878d438.zip |
Restored tiark's RefinedType-exclusion fast pat...
Restored tiark's RefinedType-exclusion fast path for implicit search.
The issue was that in a subtype check like
lhs <:< { val someName }
...you cannot determine it is impossible if the left hand side is an
abstract type, because you don't know what its members will be. Review
by rompf.
Diffstat (limited to 'test/files/scalacheck')
0 files changed, 0 insertions, 0 deletions