remove redundant pattern match for FlexibleType

olhotak · olhotak · commit dcc3c1723289 · 2023-07-13T21:18:06.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -561,7 +561,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
`@@ -561,7 +561,6 @@ object TypeErasure {`
`561`	`561`	`case tp: TypeProxy => hasStableErasure(tp.translucentSuperType)`
`562`	`562`	`case tp: AndType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)`
`563`	`563`	`case tp: OrType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)`
`564`		`- case _: FlexibleType => false`
`565`	`564`	`case _ => false`
`566`	`565`	`}`
`567`	`566`