Uploaded image for project: 'Scala Programming Language'
  1. Scala Programming Language
  2. SI-7180

implicit resolution via type alias fails in 2.10.1-RC1

    Details

      Description

      Implicit resolution fails via a type alias in 2.10.1-RC1 yet works fine in 2.10.0

      The following shows the problem:

      trait Higher[F[_]]
       
      trait Box[A] 
      object Box {
        implicit def HigherBox = new Higher[Box] {}
      }
       
      object Foo {
        val box = implicitly[Higher[Box]] // compiles fine !!!
       
        type Bar[A] = Box[A]
        val bar = implicitly[Higher[Bar]] // <-- this doesn't compile in 2.10.1-RC1, but does in 2.10.0 !!!
      }
      

        Attachments

          Activity

            People

            • Assignee:
              retronym Jason Zaugg
              Reporter:
              jedws Jed Wesley-Smith
            • Votes:
              1 Vote for this issue
              Watchers:
              5 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: