From 1f9990b58c23ba74a8d96166700e755704b78a49 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 17 Dec 2016 22:02:29 +0100 Subject: Comment FlexType --- compiler/src/dotty/tools/dotc/core/Types.scala | 3 +++ 1 file changed, 3 insertions(+) diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 8f43ed9bb..9884cc70a 100644 --- 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 { -- cgit v1.2.3