summaryrefslogtreecommitdiff
path: root/test/files/neg/aladdin1055.check
diff options
context:
space:
mode:
authorLukas Rytz <lukas.rytz@gmail.com>2014-07-01 16:19:34 +0200
committerLukas Rytz <lukas.rytz@gmail.com>2014-07-07 10:41:11 +0200
commit14fa7bef120cbb996d042daba6095530167c49ed (patch)
tree7bb6a7674fb22ff5146eb2ab5c8f6b4d9514d200 /test/files/neg/aladdin1055.check
parent3f79f8eabfa4c55e167a4ca742fc46106f84b2e1 (diff)
downloadscala-14fa7bef120cbb996d042daba6095530167c49ed.tar.gz
scala-14fa7bef120cbb996d042daba6095530167c49ed.tar.bz2
scala-14fa7bef120cbb996d042daba6095530167c49ed.zip
SI-8708 Fix pickling of LOCAL_CHILD child of sealed classes
When a sealed class or trait has local children, they are not pickled in as part of the children of the symbol (introduced in 12a2b3b to fix Aladdin bug 1055). Instead the compiler adds a single child class named LOCAL_CHILD. The parents of its ClassInfoType were wrong: the first parent should be a class. For sealed traits, we were using the trait itself. Also, the LOCAL_CHILD dummy class was entered as a member of its enclosing class, which is wrong: it represents a local (non-member) class, and it's a synthetic dummy anyway.
Diffstat (limited to 'test/files/neg/aladdin1055.check')
-rw-r--r--test/files/neg/aladdin1055.check7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/aladdin1055.check b/test/files/neg/aladdin1055.check
new file mode 100644
index 0000000000..41782ae987
--- /dev/null
+++ b/test/files/neg/aladdin1055.check
@@ -0,0 +1,7 @@
+Test_1.scala:2: warning: match may not be exhaustive.
+It would fail on the following input: (_ : this.<local child>)
+ def foo(t: A.T) = t match {
+ ^
+error: No warnings can be incurred under -Xfatal-warnings.
+one warning found
+one error found