path: root/test/files/neg/tcpoly_infer_ticket1162.scala

object Test {
  trait Expression[A,B] 

  case class Lift[A,B,F[_]]() extends Expression[F[A],F[B]]
  
  def simplify[A,B]: Expression[A,B] = Lift[A,B]()
}