Handling refined types.

A refined type  P { refinement } is expanded to a class

     class <refined> extends P { refinement }

for type-checking. The problem is that the parent P does not always have a constructor. So we need to leave the parent as a type and add a special case to classDefSig that handles it.

1 files changed, 1 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/ast/Desugar.scala b/src/dotty/tools/dotc/ast/Desugar.scala
index 0f158cbb5..b82bd47f6 100644
--- a/src/dotty/tools/dotc/ast/Desugar.scala
+++ b/src/dotty/tools/dotc/ast/Desugar.scala
@@ -721,8 +721,7 @@ object desugar {
    *  The result is used for validity checking, is thrown away afterwards.
    */
   def refinedTypeToClass(tree: RefinedTypeTree)(implicit ctx: Context): TypeDef = {
-    val parent = New(tree.tpt, Nil)
-    val impl = Template(emptyConstructor, parent :: Nil, EmptyValDef, tree.refinements)
+    val impl = Template(emptyConstructor, tree.tpt :: Nil, EmptyValDef, tree.refinements)
     TypeDef(Modifiers(), tpnme.REFINE_CLASS, impl)
   }