diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-01 00:07:56 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:43:07 +0100 |
| commit | 3637e08033c857e19862ae1fc9730d96cdba3fe2 (patch) | |
| tree | 2fb6b399633e332cf3cd3e80fd2cd7a8305a4c61 /src/dotty/tools/dotc/core/SymDenotations.scala | |
| parent | a0fb0685fcfc5e988e0d033af26c1055269488e5 (diff) | |
| download | dotty-3637e08033c857e19862ae1fc9730d96cdba3fe2.tar.gz dotty-3637e08033c857e19862ae1fc9730d96cdba3fe2.tar.bz2 dotty-3637e08033c857e19862ae1fc9730d96cdba3fe2.zip | |
Fix isRealizableTest
Need to demand "effecively final" instead of `is(Final)`.
Diffstat (limited to 'src/dotty/tools/dotc/core/SymDenotations.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/SymDenotations.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/SymDenotations.scala b/src/dotty/tools/dotc/core/SymDenotations.scala index 0b18a29c4..b76752cc0 100644 --- a/src/dotty/tools/dotc/core/SymDenotations.scala +++ b/src/dotty/tools/dotc/core/SymDenotations.scala @@ -527,7 +527,7 @@ object SymDenotations { is(Stable) || isType || { val isRealizable = !is(Lazy, butNot = Module) || - is(Final) && ctx.realizability(info) == TypeOps.Realizable + isEffectivelyFinal && ctx.realizability(info) == TypeOps.Realizable isRealizable && { setFlag(Stable); true } } |