diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-17 14:58:06 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-17 14:58:06 +0100 |
commit | 3ac70b64ebfe12dd211377aa2527a4666ec2e243 (patch) | |
tree | 806656b3e2ae1ec77b8c894de3b8cf0cd6075d45 /src/dotty/tools/package.scala | |
parent | ecbf5f545b46d65858d27173701def9e2a4d113a (diff) | |
download | dotty-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