aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t8170b.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t8170b.scala')
-rw-r--r--tests/untried/pos/t8170b.scala4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/untried/pos/t8170b.scala b/tests/untried/pos/t8170b.scala
index 53036f6c8..e3d1d33d9 100644
--- a/tests/untried/pos/t8170b.scala
+++ b/tests/untried/pos/t8170b.scala
@@ -13,13 +13,13 @@ object ScalaZeee {
type Folded[N[X] >: M[X], U, F <: HFold[N, U]] <: U
}
}
-
+
object TypelevelUsage {
import ScalaZeee._
type T = GenericCons[Some, String, KNil.type]
val klist1: T = ???
type T2 = klist1.Folded[Option, Int, HFold[Option, Int]]
val count2: T2 = ???
-
+
count2.ensuring(x => true).toChar // trigger an implicit search
}