Details

    • Type: Bug
    • Status: Open
    • Priority: Minor
    • Resolution: Unresolved
    • Affects Version/s: Scala 2.12.1
    • Fix Version/s: None
    • Component/s: Compiler (Misc)
    • Labels:
      None

      Description

      The following hangs the compiler:

      trait Data { self =>
        type Type >: self.type
      }
       
      trait Eq[Type <: Data, A <: Type, B <: Type] { ab =>
        final def lift[F[_ <: Type] <: Data]: Eq[Type, F[A], F[B]] =
          Eq.lift[A, B, F](ab)
      }
       
      object Eq {
        def lift[A <: Data, B <: A#Type, F[_ <: A#Type] <: Data](eq: Eq[A#Type, A, B]): Eq[A#Type, F[A], F[B]] = ???
      }
      

      It should be possible to minimize it further.

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              alexknvl Alexander Konovalov
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated: