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 !!!
      }
      

        Activity

        Hide
        Grzegorz Kossakowski added a comment -

        Jason, assigning to you and rising it to blocker as it seems like source-incompatible regression in area you are familiar with.

        Show
        Grzegorz Kossakowski added a comment - Jason, assigning to you and rising it to blocker as it seems like source-incompatible regression in area you are familiar with.
        Show
        Jason Zaugg added a comment - https://github.com/scala/scala/pull/2166

          People

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

            Dates

            • Created:
              Updated:
              Resolved:

              Development