It looks very reasonable to recover that type information. However, it would need a particular rule in the specification and implementation of pattern matching. A priori, there is no relationship specified between the selector `a` and the result of the unapply. This would be something worthwhile to work on, generally pattern matching is still too underspecified.
- Martin
--
You received this message because you are subscribed to the Google Groups "scala-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
[hidden email].
For more options, visit
https://groups.google.com/d/optout.