aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/neg/t7509.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/neg/t7509.check')
-rw-r--r--tests/untried/neg/t7509.check12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/untried/neg/t7509.check b/tests/untried/neg/t7509.check
new file mode 100644
index 000000000..eaa6303cf
--- /dev/null
+++ b/tests/untried/neg/t7509.check
@@ -0,0 +1,12 @@
+t7509.scala:3: error: inferred type arguments [Int] do not conform to method crash's type parameter bounds [R <: AnyRef]
+ crash(42)
+ ^
+t7509.scala:3: error: type mismatch;
+ found : Int(42)
+ required: R
+ crash(42)
+ ^
+t7509.scala:3: error: could not find implicit value for parameter ev: R
+ crash(42)
+ ^
+three errors found