Circumvent Dotty issue with default argument in curried superconstructors

odersky · odersky · commit 7a446faa4b9a · 2018-07-31T19:18:40.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala b/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala
@@ -211,7 +211,7 @@ object ProtoTypes {
   trait ApplyingProto extends ProtoType
 
   class FunProtoState {
-  
+
     /** The list of typed arguments, if all arguments are typed */
     var typedArgs: List[Tree] = Nil
 
@@ -402,7 +402,7 @@ object ProtoTypes {
   }
 
   class UnapplyFunProto(argType: Type, typer: Typer)(implicit ctx: Context) extends FunProto(
-    untpd.TypedSplice(dummyTreeOfType(argType))(ctx) :: Nil, WildcardType)(typer)
+    untpd.TypedSplice(dummyTreeOfType(argType))(ctx) :: Nil, WildcardType)(typer, new FunProtoState()) // TODO: Investigate Dotty failure with default param
 
   /** A prototype for expressions [] that are type-parameterized:
    *

Original file line number	Diff line number	Diff line change
`@@ -211,7 +211,7 @@ object ProtoTypes {`
`211`	`211`	`trait ApplyingProto extends ProtoType`
`212`	`212`
`213`	`213`	`class FunProtoState {`
`214`		`-`
	`214`	`+`
`215`	`215`	`/** The list of typed arguments, if all arguments are typed */`
`216`	`216`	`var typedArgs: List[Tree] = Nil`
`217`	`217`
`@@ -402,7 +402,7 @@ object ProtoTypes {`
`402`	`402`	`}`
`403`	`403`
`404`	`404`	`class UnapplyFunProto(argType: Type, typer: Typer)(implicit ctx: Context) extends FunProto(`
`405`		`- untpd.TypedSplice(dummyTreeOfType(argType))(ctx) :: Nil, WildcardType)(typer)`
	`405`	`+ untpd.TypedSplice(dummyTreeOfType(argType))(ctx) :: Nil, WildcardType)(typer, new FunProtoState()) // TODO: Investigate Dotty failure with default param`
`406`	`406`
`407`	`407`	`/** A prototype for expressions [] that are type-parameterized:`
`408`	`408`	`*`