You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@adriaanm said:
This is surprising, but not a bug as far as I can see.
You can't compare different MethodTypes like that. The symbols used for the parameters are only in scope inside the same method type. For a generic method, the convenience methods to get parameter symbols must first go under the polytype's binder,
which means creating a new method type.
@adriaanm said:
I'm afraid I'm not aware of one. Can you get a hold of the DefDef? It has the trees that represent the arguments and their symbols. Since this is not a bug, I'm going to close this ticket. Feel free to ask follow-up questions at https://gitter.im/scala/scala
Minimal example to reproduce:
The same behavior can be observed when typechecking in macro context.
The text was updated successfully, but these errors were encountered: