aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t8170b.scala
diff options
context:
space:
mode:
authorDmitry Petrashko <dark@d-d.me>2015-04-10 00:26:16 +0200
committerDmitry Petrashko <dark@d-d.me>2015-04-10 00:26:16 +0200
commit52d6ac3833c6daf888d48bcea06a98674243501d (patch)
tree8571b55f57df7cc9c8319749379ff5c5a2cae032 /tests/untried/pos/t8170b.scala
parent0c1797a870d5440917f17c36192f9b9050abe5f2 (diff)
parenta16ab214fe7fa634c299529147f43e4967abc972 (diff)
downloaddotty-52d6ac3833c6daf888d48bcea06a98674243501d.tar.gz
dotty-52d6ac3833c6daf888d48bcea06a98674243501d.tar.bz2
dotty-52d6ac3833c6daf888d48bcea06a98674243501d.zip
Merge pull request #469 from dotty-staging/stylecheck
Add stylechecking to test suite, fix style errors
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
}