diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-12 18:30:53 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-12 18:30:53 +0200 |
commit | 89bacb9c25a58454ff1878e67f7ea07ffc8c269f (patch) | |
tree | 51f1ff6c66aebe1b6109b1cffcc2bb8e4cf760a3 /tests/pending/run/t7120 | |
parent | a0fa33deafbea1bf53edc068c5ed9db5592822f9 (diff) | |
download | dotty-89bacb9c25a58454ff1878e67f7ea07ffc8c269f.tar.gz dotty-89bacb9c25a58454ff1878e67f7ea07ffc8c269f.tar.bz2 dotty-89bacb9c25a58454ff1878e67f7ea07ffc8c269f.zip |
Run tests as they were in scala.
Diffstat (limited to 'tests/pending/run/t7120')
-rw-r--r-- | tests/pending/run/t7120/Base_1.scala | 10 | ||||
-rw-r--r-- | tests/pending/run/t7120/Derived_2.scala | 9 | ||||
-rw-r--r-- | tests/pending/run/t7120/Run_3.scala | 3 |
3 files changed, 22 insertions, 0 deletions
diff --git a/tests/pending/run/t7120/Base_1.scala b/tests/pending/run/t7120/Base_1.scala new file mode 100644 index 000000000..be07b4f34 --- /dev/null +++ b/tests/pending/run/t7120/Base_1.scala @@ -0,0 +1,10 @@ +// This bug doesn't depend on separate compilation, +// in the interests of minimizing the log output during +// debugging this problem, I've split the compilation. + +case class Container( v: String ) + +trait Base[ T <: AnyRef ] { + type UserType = T + protected def defect: PartialFunction[ UserType, String ] +} diff --git a/tests/pending/run/t7120/Derived_2.scala b/tests/pending/run/t7120/Derived_2.scala new file mode 100644 index 000000000..e0de629f8 --- /dev/null +++ b/tests/pending/run/t7120/Derived_2.scala @@ -0,0 +1,9 @@ +trait Derived extends Base[ Container ] { + protected def defect = { case c: Container => c.v.toString } +} + +// Erasure was ignoring the prefix `Derived#7001.this` when erasing +// A1, and consequently used `Object` rather than `Container`, which +// was only seen because that signature clashed with the bridge method. +// +// applyOrElse[A1 <: Derived#7001.this.UserType#7318, B1 >: String](x1: A1) diff --git a/tests/pending/run/t7120/Run_3.scala b/tests/pending/run/t7120/Run_3.scala new file mode 100644 index 000000000..95e7f994f --- /dev/null +++ b/tests/pending/run/t7120/Run_3.scala @@ -0,0 +1,3 @@ +object Test extends Derived with App { + println( defect( Container( "8" ) ) ) +} |