aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/package.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-12-17 14:58:06 +0100
committerMartin Odersky <odersky@gmail.com>2014-12-17 14:58:06 +0100
commit3ac70b64ebfe12dd211377aa2527a4666ec2e243 (patch)
tree806656b3e2ae1ec77b8c894de3b8cf0cd6075d45 /src/dotty/tools/package.scala
parentecbf5f545b46d65858d27173701def9e2a4d113a (diff)
downloaddotty-3ac70b64ebfe12dd211377aa2527a4666ec2e243.tar.gz
dotty-3ac70b64ebfe12dd211377aa2527a4666ec2e243.tar.bz2
dotty-3ac70b64ebfe12dd211377aa2527a4666ec2e243.zip
Fix returns from polymorphic methods
Return proto type was wrong; it was the type of the method (with PolyParams if that type is polymorphic), where it should have been the return type instantiated with the local type parameters. We now instantiate the prototype as required. Note the typing of return nodes is a bit more subtle than in scalac, because dotc trees are immutable, so the tree pointed at by the context is of no help - it does not have a return type which we could make use of.
Diffstat (limited to 'src/dotty/tools/package.scala')
0 files changed, 0 insertions, 0 deletions