diff options
author | Paul Phillips <paulp@improving.org> | 2013-05-26 05:20:15 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-05-26 05:20:15 -0700 |
commit | 0da2b2c96b6dc91d95a54725bc04381fc0eda43b (patch) | |
tree | 3645f00f5398786279f0a070c3595d30fc27cd99 /test | |
parent | f81a4f92967a2dd69784864e9ab9e1624d7db35b (diff) | |
parent | d9c8ccce14bdd4f9364af4941cd47edbfec0c8ce (diff) | |
download | scala-0da2b2c96b6dc91d95a54725bc04381fc0eda43b.tar.gz scala-0da2b2c96b6dc91d95a54725bc04381fc0eda43b.tar.bz2 scala-0da2b2c96b6dc91d95a54725bc04381fc0eda43b.zip |
Merge pull request #2588 from retronym/ticket/7509
SI-7509 Avoid crasher as erronous args flow through NamesDefaults
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/t7509.check | 12 | ||||
-rw-r--r-- | test/files/neg/t7509.scala | 4 |
2 files changed, 16 insertions, 0 deletions
diff --git a/test/files/neg/t7509.check b/test/files/neg/t7509.check new file mode 100644 index 0000000000..eaa6303cf5 --- /dev/null +++ b/test/files/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 diff --git a/test/files/neg/t7509.scala b/test/files/neg/t7509.scala new file mode 100644 index 0000000000..3cba801ea7 --- /dev/null +++ b/test/files/neg/t7509.scala @@ -0,0 +1,4 @@ +object NMWE { + def crash[R <: AnyRef](f: R)(implicit ev: R): Any = ??? + crash(42) +} |