diff options
Diffstat (limited to 'test/files/pos/tcpoly_gm.scala')
-rw-r--r-- | test/files/pos/tcpoly_gm.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/tcpoly_gm.scala b/test/files/pos/tcpoly_gm.scala new file mode 100644 index 0000000000..89b66cfba6 --- /dev/null +++ b/test/files/pos/tcpoly_gm.scala @@ -0,0 +1,14 @@ +trait Rep[a] { + def rep[m[x]]: m[a] // typedTypeApply must use asSeenFrom to adapt the return type + // since rep is called on x: Rep[t] + // a must become t +} + +case class ShowBin[b](app: b => String) + +object foo { + def showBin[t](x: Rep[t], y: t): String = { + val r: ShowBin[t] = x.rep[ShowBin] + r.app(y) + } +} |