diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
index 200e94a1e120..f56c6a286879 100644
--- a/compiler/src/dotty/tools/dotc/core/Types.scala
+++ b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2066,6 +2066,9 @@ object Types {
    */
   abstract case class RefinedType(parent: Type, refinedName: Name, refinedInfo: Type) extends RefinedOrRecType {
 
+    if (refinedName.isTermName) assert(refinedInfo.isInstanceOf[TermType])
+    else assert(refinedInfo.isInstanceOf[TypeType])
+
     override def underlying(implicit ctx: Context) = parent
 
     private def badInst =