From 32646c3b84ecb4ae7946c3ea6f74eaade38bc4e0 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Wed, 15 Feb 2012 12:15:38 -0800 Subject: Test cases which motivated preceding reversions. See t5452 for disabled/neg/t5452 and disabled/pos/spurious-overload I give up, review by @hubertp. --- test/disabled/neg/t5452.check | 8 ++++++++ test/disabled/neg/t5452.scala | 29 +++++++++++++++++++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 test/disabled/neg/t5452.check create mode 100644 test/disabled/neg/t5452.scala (limited to 'test/disabled/neg') diff --git a/test/disabled/neg/t5452.check b/test/disabled/neg/t5452.check new file mode 100644 index 0000000000..2f35a45509 --- /dev/null +++ b/test/disabled/neg/t5452.check @@ -0,0 +1,8 @@ +t5452.scala:28: error: overloaded method value apply with alternatives: + ()Queryable[CoffeesTable] + (t: Tree)(implicit evidence$2: Manifest[CoffeesTable])Nothing + (implicit evidence$1: Manifest[CoffeesTable])Nothing + cannot be applied to (Queryable[CoffeesTable]) + Queryable[CoffeesTable]( q.treeFilter(null) ) + ^ +one error found diff --git a/test/disabled/neg/t5452.scala b/test/disabled/neg/t5452.scala new file mode 100644 index 0000000000..1032db7a4b --- /dev/null +++ b/test/disabled/neg/t5452.scala @@ -0,0 +1,29 @@ +// /scala/trac/5452/a.scala +// Mon Feb 13 22:52:36 PST 2012 + +// import scala.reflect.mirror._ + +trait Tree + +object Bip { + def ??? = sys.error("") +} +import Bip._ + +case class Queryable[T]() { + def treeFilter( t:Tree ) : Queryable[T] = ??? +} + +object Queryable { + def apply[T:Manifest] = ??? + def apply[T:Manifest]( t:Tree ) = ??? +} + +trait CoffeesTable{ + def sales : Int +} + +object Test extends App{ + val q = new Queryable[CoffeesTable] + Queryable[CoffeesTable]( q.treeFilter(null) ) +} -- cgit v1.2.3