path: root/test/files/pos/t9331.scala

import scala.language.higherKinds

trait Proxy[+T]
case class Stuff[+P[PP] <: Proxy[PP]]() {
  // canEqual was incorrectly synthetized and started reporting a kind error.
}