diff options
Diffstat (limited to 'tests/untried/pos/t8170b.scala')
-rw-r--r-- | tests/untried/pos/t8170b.scala | 4 |
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 } |