Skip to content

Commit a8ed1de

Browse files
committed
Change Flexible Type to Type Proxy
1 parent 20723f0 commit a8ed1de

File tree

4 files changed

+0
-32
lines changed

4 files changed

+0
-32
lines changed

compiler/src/dotty/tools/dotc/core/CheckRealizable.scala

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -122,7 +122,6 @@ class CheckRealizable(using Context) {
122122
case tp: TypeProxy => isConcrete(tp.underlying)
123123
case tp: AndType => isConcrete(tp.tp1) && isConcrete(tp.tp2)
124124
case tp: OrType => isConcrete(tp.tp1) && isConcrete(tp.tp2)
125-
case tp: FlexibleType => isConcrete(tp.underlying)
126125
case _ => false
127126
}
128127
if (!isConcrete(tp)) NotConcrete

compiler/src/dotty/tools/dotc/core/SymDenotations.scala

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2264,9 +2264,6 @@ object SymDenotations {
22642264
case CapturingType(parent, refs) =>
22652265
tp.derivedCapturingType(recur(parent), refs)
22662266

2267-
case tp: FlexibleType =>
2268-
recur(tp.underlying)
2269-
22702267
case tp: TypeProxy =>
22712268
def computeTypeProxy = {
22722269
val superTp = tp.superType

compiler/src/dotty/tools/dotc/core/TypeErasure.scala

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -342,8 +342,6 @@ object TypeErasure {
342342
repr1.orElse(repr2)
343343
else
344344
NoSymbol
345-
case tp: FlexibleType =>
346-
arrayUpperBound(tp.underlying)
347345
case _ =>
348346
NoSymbol
349347

@@ -370,8 +368,6 @@ object TypeErasure {
370368
isGenericArrayElement(tp.tp1, isScala2) && isGenericArrayElement(tp.tp2, isScala2)
371369
case tp: OrType =>
372370
isGenericArrayElement(tp.tp1, isScala2) || isGenericArrayElement(tp.tp2, isScala2)
373-
case tp: FlexibleType =>
374-
isGenericArrayElement(tp.underlying, isScala2)
375371
case _ => false
376372
}
377373
}
@@ -663,8 +659,6 @@ class TypeErasure(sourceLanguage: SourceLanguage, semiEraseVCs: Boolean, isConst
663659
case tp: TypeVar if !tp.isInstantiated =>
664660
assert(inSigName, i"Cannot erase uninstantiated type variable $tp")
665661
WildcardType
666-
case tp: FlexibleType =>
667-
this(tp.underlying)
668662
case tp: TypeProxy =>
669663
this(tp.underlying)
670664
case tp @ AndType(tp1, tp2) =>

tests/explicit-nulls/flexible-types/common/unsafe-path.scala

Lines changed: 0 additions & 22 deletions
This file was deleted.

0 commit comments

Comments
 (0)