- Fixed the code that generates value selection...

- Fixed the code that generates value selections (missing asSeenFrom)

1 files changed, 1 insertions, 1 deletions

diff --git a/sources/scalac/transformer/matching/PatternMatcher.java b/sources/scalac/transformer/matching/PatternMatcher.java
index c8d2db2cc6..f3f52d8074 100644
--- a/sources/scalac/transformer/matching/PatternMatcher.java
+++ b/sources/scalac/transformer/matching/PatternMatcher.java
@@ -542,7 +542,7 @@ public class PatternMatcher extends PatternTool {
                                       Symbol.EMPTY_ARRAY,
                                       getHeaderType(typeOf0(ts))))
                             .setSymbol(ts),
-                        Tree.EMPTY_ARRAY).setType(getHeaderType(typeOf0(ts))));
+                        Tree.EMPTY_ARRAY).setType(getHeaderType(typeOf0(ts)).asSeenFrom(typeOf(casted), ts.owner())));
             }
             curHeader.or = patternNode(pat, curHeader, env);
             return enter(patArgs, curHeader.or, casted, env);