Aladdin - Scala Bugtracking
[#1203] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Lex Lex moved to trac 2007-07-11 18:17:13.0
subject implicits not found with annotated types
code
case class ant(t: String) extends Annotation
object AnnTest {
   def main(args: Array[String]): Unit = {
     val a: @ant("12") scala.xml.NodeSeq = Nil
     println(a)
   }
}
what happened
AnnTest.scala:5: error: type mismatch;
  found   : Nil.type (with underlying type object Nil)
  required: @ant("12") scala.xml.NodeSeq
     val a: @ant("12") scala.xml.NodeSeq = Nil
                                           ^
what expected The implicit conversion from lists to NodeSeq's should be found. It is found if -Xplugtypes is not turned on. (Reported by Lukas Rytz.)
[back to overview]
Changes of this bug report
Lex  edited on  2007-07-11 20:23:18.0
Gilles  edited on  2007-08-29 10:45:05.0