Fix inlining of parameters of singleton type

odersky · odersky · commit 830768582bb7 · 2018-09-06T22:29:52.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Inliner.scala b/compiler/src/dotty/tools/dotc/typer/Inliner.scala
@@ -401,7 +401,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(implicit ctx: Context) {
           }
         case tree: Ident =>
           paramProxy.get(tree.tpe) match {
-            case Some(t) if tree.isTerm && t.isSingleton => singleton(t).withPos(tree.pos)
+            case Some(t) if tree.isTerm && t.isSingleton => singleton(t.dealias).withPos(tree.pos)
             case Some(t) if tree.isType => TypeTree(t).withPos(tree.pos)
             case _ => tree
           }

Original file line number	Diff line number	Diff line change
`@@ -401,7 +401,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(implicit ctx: Context) {`
`401`	`401`	`}`
`402`	`402`	`case tree: Ident =>`
`403`	`403`	`paramProxy.get(tree.tpe) match {`
`404`		`- case Some(t) if tree.isTerm && t.isSingleton => singleton(t).withPos(tree.pos)`
	`404`	`+ case Some(t) if tree.isTerm && t.isSingleton => singleton(t.dealias).withPos(tree.pos)`
`405`	`405`	`case Some(t) if tree.isType => TypeTree(t).withPos(tree.pos)`
`406`	`406`	`case _ => tree`
`407`	`407`	`}`