annotatedRetyping.check « run « files « test - scala - The Scala programming language

summary refs log tree commit diff

path: root/test/files/run/annotatedRetyping.check

blob: b296a805267cba8484c0d633ab44c508e584de06 (plain) (blame)

typing List(1, 2).map(((x) => {
  val another = scala.Tuple2(t.nt, t.tr): @testAnn match {
    case scala.Tuple2(_, _) => 1
  };
  x
}))