diff options
author | Som Snytt <som.snytt@gmail.com> | 2014-08-20 10:25:28 -0700 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2014-09-05 01:07:44 -0700 |
commit | c9ec916f20c4f06a0aebe0a9929443c1c8b60c5c (patch) | |
tree | 9c592c054af335510d57fa2ff3fc0e733f8953a1 /test/files/neg/warn-inferred-any.check | |
parent | d4b5c7b95de88d3890be654e06da812c6eb607f5 (diff) | |
download | scala-c9ec916f20c4f06a0aebe0a9929443c1c8b60c5c.tar.gz scala-c9ec916f20c4f06a0aebe0a9929443c1c8b60c5c.tar.bz2 scala-c9ec916f20c4f06a0aebe0a9929443c1c8b60c5c.zip |
SI-8806 Add lower bound check to Any lint
We already exclude the lint check for infer-any if
Any is somewhere explicit.
This commit adds lower bounds of type params to
the somewheres.
Motivated by:
```
scala> f"${42}"
<console>:8: warning: a type was inferred to be `Any`; this may indicate a programming error.
f"${42}"
^
res0: String = 42
```
Diffstat (limited to 'test/files/neg/warn-inferred-any.check')
-rw-r--r-- | test/files/neg/warn-inferred-any.check | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/warn-inferred-any.check b/test/files/neg/warn-inferred-any.check index 4628033e55..8ad81d1529 100644 --- a/test/files/neg/warn-inferred-any.check +++ b/test/files/neg/warn-inferred-any.check @@ -7,6 +7,9 @@ warn-inferred-any.scala:16: warning: a type was inferred to be `AnyVal`; this ma warn-inferred-any.scala:17: warning: a type was inferred to be `AnyVal`; this may indicate a programming error. { 1l to 5l contains 5d } ^ +warn-inferred-any.scala:25: warning: a type was inferred to be `Any`; this may indicate a programming error. + def za = f(1, "one") + ^ error: No warnings can be incurred under -Xfatal-warnings. -three warnings found +four warnings found one error found |