We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 58f20ad commit 9fdd013Copy full SHA for 9fdd013
compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala
@@ -516,12 +516,6 @@ object QuoteMatcher {
516
* When matching a method call `f(0)` against a HOAS pattern `p(g)` where
517
* f has a method type `(x: Int): Int` and `f` maps to `g`, `p` should hold
518
* `g.apply(0)` because the type of `g` is `Int => Int` due to eta expansion.
519
- *
520
- * Remaining TODOs from issue-17105
521
- * * [x] cover the case of nested method call
522
- * * [ ] contextual params?
523
- * * [ ] erasure types?
524
- * * [x] eta-expand only HOAS param methods
525
*/
526
case Apply(_, _) if !tree.tpe.isInstanceOf[MethodicType] && env.contains(tree.symbol) =>
527
def adaptMethodCalls(t: Tree): Tree = t match
0 commit comments