diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2014-01-18 04:33:27 -0800 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2014-01-18 04:33:27 -0800 |
commit | 338b053563e6c57eec157bc19697349782475926 (patch) | |
tree | 923b6b94fb3e004b789a45c7bdfe57e5630f47b0 /test | |
parent | b3ad7534fb99df9ea0a64e4ba929311c72175709 (diff) | |
parent | 1baf11a2bb4ed3c816e0484238b426bc0318c27c (diff) | |
download | scala-338b053563e6c57eec157bc19697349782475926.tar.gz scala-338b053563e6c57eec157bc19697349782475926.tar.bz2 scala-338b053563e6c57eec157bc19697349782475926.zip |
Merge pull request #3356 from retronym/ticket/8138
Fix bug with super-accessors / dependent types
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/t8138.scala | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/files/pos/t8138.scala b/test/files/pos/t8138.scala new file mode 100644 index 0000000000..b980930955 --- /dev/null +++ b/test/files/pos/t8138.scala @@ -0,0 +1,24 @@ + +class U { + trait Transformer { + def transform(a: Tree): Tree = ??? + } + trait Tree +} + +object Test { + def m(u: U) = { + class C extends u.Transformer { + override def transform(t: u.Tree): u.Tree = { + null match { + case _ => + // crashes in GenICode: + // error: Unknown type: <notype>, <notype> [class scala.reflect.internal.Types$NoType$, class scala.reflect.internal.Types$NoType$] TypeRef? false + (y: Any) => super.transform(???) + null + } + ??? + } + } + } +} |