Comment FlexType

odersky · odersky · commit 1f9990b58c23 · 2016-12-17T22:02:29.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3252,6 +3252,9 @@ object Types {
     override def computeHash = hashSeed
   }
 
+  /** A common superclass of `ErrorType` and `TryDynamicCallSite`. Instances of this
+   *  class are at the same time subtypes and supertypes of every other type.
+   */
   abstract class FlexType extends UncachedGroundType with ValueType
 
   class ErrorType(_msg: => Message) extends FlexType {

Original file line number	Diff line number	Diff line change
`@@ -3252,6 +3252,9 @@ object Types {`
`3252`	`3252`	`override def computeHash = hashSeed`
`3253`	`3253`	`}`
`3254`	`3254`
	`3255`	+ /** A common superclass of `ErrorType` and `TryDynamicCallSite`. Instances of this
	`3256`	`+ * class are at the same time subtypes and supertypes of every other type.`
	`3257`	`+ */`
`3255`	`3258`	`abstract class FlexType extends UncachedGroundType with ValueType`
`3256`	`3259`
`3257`	`3260`	`class ErrorType(_msg: => Message) extends FlexType {`