Aladdin - Scala Bugtracking
[#720] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Gilles Martin fixed 2006-09-01 15:03:31.0
subject Views lookup too narrow (see also #721)
code 
trait Conv
object Conv {
  implicit def one2two (one: One): Two = new Two }
class One extends Conv
class Two
object Test2 extends Application {
  def fun (two: Two) = ()
  fun(new One)
}
what happened 
test.scala:15 error: type mismatch;
 found   : One
 required: Two
  fun(new One)
      ^
what expected Successful compilation.
[back to overview]
Changes of this bug report
Martin  edited on  2006-09-01 17:39:00.0