t1642b.scala « pos « tests - dotty - Research platform for new language concepts and compiler technologies for Scala.

about summary refs log tree commit diff

path: root/tests/pos/t1642b.scala

blob: 72e53b0c9a6c0fcd266293ddc80351bc25ca95d0 (plain) (blame)

package x
abstract class H[A] {
  type P <: R[P]
  def a: P
}
class R[F]