diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bug3714-neg.check | 13 | ||||
-rw-r--r-- | test/files/neg/bug3714-neg.scala | 41 | ||||
-rw-r--r-- | test/files/run/bug3714.scala | 33 |
3 files changed, 87 insertions, 0 deletions
diff --git a/test/files/neg/bug3714-neg.check b/test/files/neg/bug3714-neg.check new file mode 100644 index 0000000000..fab6623001 --- /dev/null +++ b/test/files/neg/bug3714-neg.check @@ -0,0 +1,13 @@ +bug3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl + Access to protected value break not permitted because + enclosing class object Test is not a subclass of + class BreakImpl where target is defined + case b: BreakImpl => b.break + ^ +bug3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl + Access to protected value break not permitted because + enclosing class object Test is not a subclass of + class BreakImpl where target is defined + case b: BreakImpl => b.break + ^ +two errors found diff --git a/test/files/neg/bug3714-neg.scala b/test/files/neg/bug3714-neg.scala new file mode 100644 index 0000000000..19bdebbfa9 --- /dev/null +++ b/test/files/neg/bug3714-neg.scala @@ -0,0 +1,41 @@ +// this is a slight negative twist on run/bug3714.scala. +trait Break { + protected val break: Int; +} + +class BreakImpl(protected val break: Int) extends Break { } +object BreakImpl { + def apply(x: Int): Break = new BreakImpl(x) + def unapply(x: Any) = x match { + case x: BreakImpl => Some(x.break) + case _ => None + } +} + +object Test { + def f1(x: Break) = x match { + case b: BreakImpl => b.break + case b => -1 + } + def f2(x: Break) = x match { + case BreakImpl(x) => x + case _ => -1 + } + def f3(x: Any) = x match { + case b: BreakImpl => b.break + case b => -1 + } + def f4(x: Any) = x match { + case BreakImpl(x) => x + case _ => -1 + } + + def main(args: Array[String]) { + val break = BreakImpl(22) + assert(f1(break) == 22) + assert(f2(break) == 22) + assert(f3(break) == 22) + assert(f4(break) == 22) + } +} + diff --git a/test/files/run/bug3714.scala b/test/files/run/bug3714.scala new file mode 100644 index 0000000000..2d600f97f1 --- /dev/null +++ b/test/files/run/bug3714.scala @@ -0,0 +1,33 @@ +trait Break { + protected val break: Int; +} + +case class BreakImpl(protected val break: Int) extends Break { } + +object Test { + // def f1(x: Break) = x match { + // case b: BreakImpl => b.break + // case b => -1 + // } + def f2(x: Break) = x match { + case BreakImpl(x) => x + case _ => -1 + } + // def f3(x: Any) = x match { + // case b: BreakImpl => b.break + // case b => -1 + // } + def f4(x: Any) = x match { + case BreakImpl(x) => x + case _ => -1 + } + + def main(args: Array[String]) { + val break = BreakImpl(22) + // assert(f1(break) == 22) + assert(f2(break) == 22) + // assert(f3(break) == 22) + assert(f4(break) == 22) + } +} + |