diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-09-07 11:24:11 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-09-07 11:51:30 +0200 |
commit | 733b3220c9c099fcb68e09c37251bea8023198f2 (patch) | |
tree | c01009068ee56bf312a1f593b7c47670b8b24505 /src/jline/README.md | |
parent | d46519da657ada39d9928308709cdb80ddcd53ce (diff) | |
download | scala-733b3220c9c099fcb68e09c37251bea8023198f2.tar.gz scala-733b3220c9c099fcb68e09c37251bea8023198f2.tar.bz2 scala-733b3220c9c099fcb68e09c37251bea8023198f2.zip |
SI-7815 Dealias before deeming method type as dependent
To enable eta-expansion of method types seen from a prefix that
renders the result type as independent from the parameter symbols.
The enclosed test shows that we dealias types before checking
dependence, and that we do this deeply (e.g. type arguments are
also dealised.)
An existing test, neg/error_dependentMethodTpeConversionToFunction,
confirms that bona-fide dependent methods are still prohibited from
eta expansion.
Diffstat (limited to 'src/jline/README.md')
0 files changed, 0 insertions, 0 deletions