Change type inheritance diagram

to account for the fact the GenericTypes are now TypeProxies.

Author: odersky

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

@@ -61,14 +61,14 @@ object Types {
    *        |              +- ExprType
    *        |              +- AnnotatedType
    *        |              +- TypeVar
+   *        |              +- GenericType ----+- PolyType
+   *        |                                 +- TypeLambda
    *        |
    *        +- GroundType -+- AndType
    *                       +- OrType
    *                       +- MethodType -----+- ImplicitMethodType
    *                       |                  +- JavaMethodType
    *                       +- ClassInfo
-   *                       +- GenericType ----+- PolyType
-   *                       |                  +- TypeLambda
    *                       |
    *                       +- NoType
    *                       +- NoPrefix