Allow to merge TypeBounds and ClassInfos in |, &

There seems to be no reason why we should not merge
a class and an abstract type that has the class within
its bounds. I.e. Assume

    class A { type T }
    class B { class T }

Then (A | B) # T should be legal and refer to type T,
 and (A & B) # T should be legal and refer to class T.

1 files changed, 3 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/core/Symbols.scala b/src/dotty/tools/dotc/core/Symbols.scala
index 2be97691f..2854d7d2f 100644
--- a/src/dotty/tools/dotc/core/Symbols.scala
+++ b/src/dotty/tools/dotc/core/Symbols.scala
@@ -256,6 +256,9 @@ trait Symbols { this: Context =>
     tparams
   }
 
+  /** Create a new skolem symbol. This is not the same as SkolemType, even thouggh the
+   *  motivation (create a singleton referencing to a type)= is similar.
+   */
   def newSkolem(tp: Type) = newSymbol(defn.RootClass, nme.SKOLEM, SyntheticArtifact | Permanent, tp)
 
   def newErrorSymbol(owner: Symbol, name: Name) =