aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/SymDenotations.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/SymDenotations.scala')
-rw-r--r--src/dotty/tools/dotc/core/SymDenotations.scala10
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.
*/