remove redundant pattern match for FlexibleType

olhotak · olhotak · commit 0655707b45ed · 2023-06-30T15:09:50.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -530,7 +530,6 @@ object TypeErasure {
     case tp: TypeProxy => hasStableErasure(tp.translucentSuperType)
     case tp: AndType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)
     case tp: OrType  => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)
-    case _: FlexibleType => false
     case _ => false
   }
 

Original file line number	Diff line number	Diff line change
`@@ -530,7 +530,6 @@ object TypeErasure {`
`530`	`530`	`case tp: TypeProxy => hasStableErasure(tp.translucentSuperType)`
`531`	`531`	`case tp: AndType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)`
`532`	`532`	`case tp: OrType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)`
`533`		`- case _: FlexibleType => false`
`534`	`533`	`case _ => false`
`535`	`534`	`}`
`536`	`535`