diff options
author | Paul Phillips <paulp@improving.org> | 2011-11-07 08:54:57 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-11-07 08:54:57 +0000 |
commit | c8683ff5bfd247972ba929496142d45e31c01ca5 (patch) | |
tree | 425c822eda643e2611c5c142f492a48c44390729 /src | |
parent | d6f9361e4bf9ee8615d1a700963535f82580ca0d (diff) | |
download | scala-c8683ff5bfd247972ba929496142d45e31c01ca5.tar.gz scala-c8683ff5bfd247972ba929496142d45e31c01ca5.tar.bz2 scala-c8683ff5bfd247972ba929496142d45e31c01ca5.zip |
Fix crash with HK types.
Another page in the storied history of "call .tpe when one should have
called .tpeHK", in this case leading to a crash of stacktraciness.
Closes SI-5152, review by moors.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index ad71f8c21a..ec30e49ae6 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1161,7 +1161,7 @@ trait Typers extends Modes with Adaptations with PatMatVirtualiser { val supertparams = if (supertpt.hasSymbol) supertpt.symbol.typeParams else List() var supertpe = supertpt.tpe if (!supertparams.isEmpty) - supertpe = PolyType(supertparams, appliedType(supertpe, supertparams map (_.tpe))) + supertpe = PolyType(supertparams, appliedType(supertpe, supertparams map (_.tpeHK))) // A method to replace a super reference by a New in a supercall def transformSuperCall(scall: Tree): Tree = (scall: @unchecked) match { |