diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-01 11:45:17 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-01 12:15:12 +0100 |
commit | ceaebef4113f6a5feb2ae39d48ba0bc6ef9669d3 (patch) | |
tree | ca0477ead2b9bbdd37cd510cf7dbfaec37c06ede /src/dotty/tools/dotc/core/StdNames.scala | |
parent | 7cb292fad14dc9ee7f1325f83df0328ffa8f2194 (diff) | |
download | dotty-ceaebef4113f6a5feb2ae39d48ba0bc6ef9669d3.tar.gz dotty-ceaebef4113f6a5feb2ae39d48ba0bc6ef9669d3.tar.bz2 dotty-ceaebef4113f6a5feb2ae39d48ba0bc6ef9669d3.zip |
Make argument types of viewproto undergo WildApprox before testing for eligibility.
Unless we do this, typevars would sneak into eligibility checks.
Diffstat (limited to 'src/dotty/tools/dotc/core/StdNames.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/StdNames.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/StdNames.scala b/src/dotty/tools/dotc/core/StdNames.scala index a20d26e42..e7c04e846 100644 --- a/src/dotty/tools/dotc/core/StdNames.scala +++ b/src/dotty/tools/dotc/core/StdNames.scala @@ -643,6 +643,8 @@ object StdNames { def higherKindedTraitName(n: Int) = HigherKinded ++ n.toString def higherKindedParamName(n: Int) = HK_PARAM_PREFIX ++ n.toString + + final val Conforms = encode("<:<") } abstract class JavaNames[N <: Name] extends DefinedNames[N] { |