diff options
author | Som Snytt <som.snytt@gmail.com> | 2017-03-09 09:15:14 -0800 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2017-03-09 09:15:14 -0800 |
commit | 050811bd84523dd90cec9d490aa746043973b13d (patch) | |
tree | ccc67da808ee6b0b7ca5f8ec8b059b791330bc71 /src | |
parent | c309f9867a557d4edccaebfa399eabcef11bf1bf (diff) | |
download | scala-050811bd84523dd90cec9d490aa746043973b13d.tar.gz scala-050811bd84523dd90cec9d490aa746043973b13d.tar.bz2 scala-050811bd84523dd90cec9d490aa746043973b13d.zip |
SI-8969 Accept poly+implicit for assignment syntax
Follow-up to fb061f22d4c35df626d9651e017820a11f8fe56e
which allowed the type param only.
Reported:
```
scala> object Test {
| def a[R](implicit s: List[R]):Int = 0
| def a_=[R](v: Int)(implicit s: List[R]) = ()
| }
```
Diffstat (limited to 'src')
-rw-r--r-- | src/reflect/scala/reflect/internal/TreeInfo.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/internal/TreeInfo.scala b/src/reflect/scala/reflect/internal/TreeInfo.scala index 1aef30819a..933afbea2b 100644 --- a/src/reflect/scala/reflect/internal/TreeInfo.scala +++ b/src/reflect/scala/reflect/internal/TreeInfo.scala @@ -274,6 +274,7 @@ abstract class TreeInfo { def mayBeVarGetter(sym: Symbol): Boolean = sym.info match { case NullaryMethodType(_) => sym.owner.isClass && !sym.isStable case PolyType(_, NullaryMethodType(_)) => sym.owner.isClass && !sym.isStable + case PolyType(_, mt @ MethodType(_, _))=> mt.isImplicit && sym.owner.isClass && !sym.isStable case mt @ MethodType(_, _) => mt.isImplicit && sym.owner.isClass && !sym.isStable case _ => false } |