diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-06-15 17:50:04 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-06-15 17:50:04 +0200 |
commit | 506a5e334d57084322fa89119d72fa96beb824b6 (patch) | |
tree | 83401f75400ac373e5ae68d633bbf9de2b6ce8d9 /tests/run/t3452f.scala | |
parent | c4c29e393afb7175422053924b7e1e5a30131c4c (diff) | |
download | dotty-506a5e334d57084322fa89119d72fa96beb824b6.tar.gz dotty-506a5e334d57084322fa89119d72fa96beb824b6.tar.bz2 dotty-506a5e334d57084322fa89119d72fa96beb824b6.zip |
Enable tests that succeed.
Diffstat (limited to 'tests/run/t3452f.scala')
-rw-r--r-- | tests/run/t3452f.scala | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/run/t3452f.scala b/tests/run/t3452f.scala new file mode 100644 index 000000000..af64f5c04 --- /dev/null +++ b/tests/run/t3452f.scala @@ -0,0 +1,19 @@ +import language.higherKinds + +trait GenSet[A] + +trait GenSetTemplate[A, +CC[X] <: GenSet[X]] { + def empty: CC[A] = ??? +} + +trait SetLike[A, +This <: SetLike[A, This] with Set[A]] { + def empty: This +} + +abstract class Set[A] extends GenSet[A] with SetLike[A,Set[A]] with GenSetTemplate[A,Set] + +object Test { + def main(args: Array[String]): Unit = { + locally(classOf[Set[_]]) // trigger classloading to verify class + } +} |