diff options
| author | Aleksandar Prokopec <aleksandar@aleksandar-Latitude-E6500.(none)> | 2012-05-08 17:36:20 +0200 |
|---|---|---|
| committer | Aleksandar Prokopec <aleksandar@aleksandar-Latitude-E6500.(none)> | 2012-05-08 17:36:20 +0200 |
| commit | d107527434b6cdf5f3ec6900a9572d6a6e3e5629 (patch) | |
| tree | ed7945bb9b3084dd648157a574065b626e080fe1 /test/files/neg/t5564.check | |
| parent | c4590b799adbd398bb226de5893eb72bba127ed4 (diff) | |
| download | scala-d107527434b6cdf5f3ec6900a9572d6a6e3e5629.tar.gz scala-d107527434b6cdf5f3ec6900a9572d6a6e3e5629.tar.bz2 scala-d107527434b6cdf5f3ec6900a9572d6a6e3e5629.zip | |
Fixes SI-5564.
Catching typer errors in specialization.
Diffstat (limited to 'test/files/neg/t5564.check')
| -rw-r--r-- | test/files/neg/t5564.check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/t5564.check b/test/files/neg/t5564.check new file mode 100644 index 0000000000..e7e13ccc9c --- /dev/null +++ b/test/files/neg/t5564.check @@ -0,0 +1,4 @@ +t5564.scala:8: error: inferred type arguments [A] do not conform to method bar's type parameter bounds [B >: A <: C] + def bar[B >: A <: C]: T = throw new Exception + ^ +one error found |