diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-02-09 13:34:42 -0800 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2015-02-09 13:34:42 -0800 |
| commit | 2b6a197d4ac11070699131808f0baf203553e86b (patch) | |
| tree | 4a9336acc15a998a34c0f9ceb34a137bde5b0f3a /src | |
| parent | d7b11520222c9e995d27de46fecc19c5a1fa5b74 (diff) | |
| parent | 9735108e9bb13b7b5a48bd2a051a5ec3e8a2f2ac (diff) | |
| download | scala-2b6a197d4ac11070699131808f0baf203553e86b.tar.gz scala-2b6a197d4ac11070699131808f0baf203553e86b.tar.bz2 scala-2b6a197d4ac11070699131808f0baf203553e86b.zip | |
Merge pull request #4274 from retronym/ticket/9123
SI-9123 More coherent trees with patmat, dependent types
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/transform/patmat/PatternMatching.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/patmat/PatternMatching.scala b/src/compiler/scala/tools/nsc/transform/patmat/PatternMatching.scala index d35aad964d..b2f2516b5b 100644 --- a/src/compiler/scala/tools/nsc/transform/patmat/PatternMatching.scala +++ b/src/compiler/scala/tools/nsc/transform/patmat/PatternMatching.scala @@ -239,6 +239,11 @@ trait Interface extends ast.TreeDSL { case Ident(_) => subst(from, to) case _ => super.transform(tree) } + tree1 match { + case _: DefTree => + tree1.symbol.modifyInfo(_.substituteTypes(from, toTypes)) + case _ => + } tree1.modifyType(_.substituteTypes(from, toTypes)) } } |