diff options
author | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:20:55 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:20:55 +0200 |
commit | ab06e2d3f2749a6fd594971bee1ae0fa533fa0bd (patch) | |
tree | cbbb51a5a5bfba63e8ffa9a10fe47df542e1557a /compiler/src/dotty/tools/dotc/typer | |
parent | bb0faff0d45f873fff9054fd8baec92eabb78c3d (diff) | |
download | dotty-ab06e2d3f2749a6fd594971bee1ae0fa533fa0bd.tar.gz dotty-ab06e2d3f2749a6fd594971bee1ae0fa533fa0bd.tar.bz2 dotty-ab06e2d3f2749a6fd594971bee1ae0fa533fa0bd.zip |
Generalize definition of Type#isStable
We now consider a type also as stable if it refers
to an ExprType whose result type is stable.
The previous commit made pos/z1720.scala break, because it
skolemized unstable argument types. This commit makes the test
pass again.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions