diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/SymDenotations.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/SymDenotations.scala | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/dotty/tools/dotc/core/SymDenotations.scala b/src/dotty/tools/dotc/core/SymDenotations.scala index fb59cae59..a4082607c 100644 --- a/src/dotty/tools/dotc/core/SymDenotations.scala +++ b/src/dotty/tools/dotc/core/SymDenotations.scala @@ -12,6 +12,7 @@ import scala.reflect.io.AbstractFile import Decorators.SymbolIteratorDecorator import ast._ import annotation.tailrec +import CheckRealizable._ import typer.Mode import util.SimpleMap import util.Stats @@ -522,15 +523,6 @@ object SymDenotations { final def isStable(implicit ctx: Context) = isType || !is(UnstableValue, butNot = Stable) - /** Is this a denotation of a realizable term (or an arbitrary type)? */ - final def isRealizable(implicit ctx: Context) = - is(Stable) || isType || { - val isRealizable = - !isLateInitialized || - isEffectivelyFinal && ctx.realizability(info) == TypeOps.Realizable - isRealizable && { setFlag(Stable); true } - } - /** Field is initialized on use, not on definition; * we do not count modules as fields here. */ |