summaryrefslogtreecommitdiff
path: root/test/files/neg/t5564.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/t5564.check')
-rw-r--r--test/files/neg/t5564.check4
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