diff options
| author | Paul Phillips <paulp@improving.org> | 2013-05-14 16:18:15 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-05-14 16:20:57 -0700 |
| commit | b4751a679a1e01d1d8826c4c2d68af269a1c0443 (patch) | |
| tree | 87e63fcb70eb2b88e54166374c4280ba0ccb7354 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | e28c3edda4dd405ed382227d2a688b799bf33c72 (diff) | |
| download | scala-b4751a679a1e01d1d8826c4c2d68af269a1c0443.tar.gz scala-b4751a679a1e01d1d8826c4c2d68af269a1c0443.tar.bz2 scala-b4751a679a1e01d1d8826c4c2d68af269a1c0443.zip | |
No bounds-driven inference for the named.
This is a variation on the previous commit which excludes
named type parameters, so this works
def f(x: Class[_]) = x.foo.bar
But this does not:
def f[T](x: Class[T]) = x.foo.bar
This seems undesirable to me, but I offer it in case it makes
the patch more attractive to others.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index b41df05c3d..491634cf3b 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -4914,6 +4914,7 @@ trait Typers extends Adaptations with Tags { && !tparam.isFBounded /* SI-2251 */ && !tparam.isHigherOrderTypeParameter && !(abounds.hi <:< tbounds.hi) + && asym.isSynthetic /* this limits us to placeholder tparams, excluding named ones */ ) arg match { case Bind(_, _) => enhanceBounds() |