diff options
| author | Christopher Vogt <christopher.vogt@epfl.ch> | 2013-07-14 06:47:49 +0200 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-07-16 12:39:00 +1000 |
| commit | c4bf1d5fb5a4d5e64e64b6af985fc795faa15bce (patch) | |
| tree | e3ac40d3334ce79d8f596376becfe732ae733356 /test/files/neg/t7636.scala | |
| parent | 2247593472031fd9712b652bab0b978a788e46ef (diff) | |
| download | scala-c4bf1d5fb5a4d5e64e64b6af985fc795faa15bce.tar.gz scala-c4bf1d5fb5a4d5e64e64b6af985fc795faa15bce.tar.bz2 scala-c4bf1d5fb5a4d5e64e64b6af985fc795faa15bce.zip | |
SI-7636 Fix a NPE in typing class constructors
If we encountered an erroneous super call due to a
failure in parent type argument inference, we must
avoid inspecting the untyped children of erroneous
trees.
Diffstat (limited to 'test/files/neg/t7636.scala')
| -rw-r--r-- | test/files/neg/t7636.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t7636.scala b/test/files/neg/t7636.scala new file mode 100644 index 0000000000..a7b1b90151 --- /dev/null +++ b/test/files/neg/t7636.scala @@ -0,0 +1,7 @@ +object Main extends App{ + class ResultTable[E]( query : Either[_,E] )( columns : Int ) + class C extends ResultTable(Left(5):Either[_,_])(5) +} +// Inference of the existential type for the parent type argument +// E still fails. That looks tricky to fix, see the comments in SI-7636. +// But we at least prevent a cascading NPE.
\ No newline at end of file |