Fixed Type hierarchy diagram

Author: odersky

src/dotty/tools/dotc/core/Types.scala

@@ -33,16 +33,17 @@ object Types {
    *
    *  Type -+- ProxyType --+- NamedType ----+--- TypeRef
    *        |              |                 \
-   *        |              +- SingletonType---+- TermRef
-   *        |              |
-   *        |              +- SingletonType --+- ThisType
-   *        |                                 +- SuperType
-   *        |                                 +- ConstantType
-   *        |                                 +- MethodParam
-   *        |                                 +- RefinedThis
-   *        |                                 +- TypeBounds
-   *        |                                 +- ExprType
-   *        |                                 +- AnnotatedType
+   *        |              +- SingletonType-+-+- TermRef
+   *        |              |                |
+   *        |              |                +--- ThisType
+   *        |              |                +--- SuperType
+   *        |              |                +--- ConstantType
+   *        |              |                +--- MethodParam
+   *        |              |                +--- RefinedThis
+   *        |              +- TypeBounds
+   *        |              +- ExprType
+   *        |              +- AnnotatedType
+   *        |
    *        +- GroundType -+- PolyParam
    *                       +- RefinedType
    *                       +- AndType