Problems with hk named parameters in inlining

[odersky]

The following gives a type error after inlining. On the other hand, passing parameters to construct positionally or by name in the right order works as expected.

import scala.language.experimental.namedTypeArguments

object t1 {
  transparent inline def construct[Elem, Coll[_]](xs: List[Elem]): Coll[Elem] = ??? : Coll[Elem]

  val xs3 = construct[Coll = List](List(1, 2, 3))
}

Test case in branch test-inline on staging.