1 files changed, 22 insertions, 5 deletions
diff --git a/test/files/pos/hkgadt.scala b/test/files/pos/hkgadt.scala
index efd7d3df21..5719c752cd 100644
--- a/test/files/pos/hkgadt.scala
+++ b/test/files/pos/hkgadt.scala
@@ -1,18 +1,35 @@
-package test
-
 object HKGADT {
   sealed trait Foo[F[_]]
   final case class Bar() extends Foo[List]
 
   def frob[F[_]](foo: Foo[F]): F[Int] =
     foo match {
-      case Bar() =>
-         List(1)
+      case Bar() => List(1)
+    }
+
+  sealed trait Foo1[F]
+  final case class Bar1() extends Foo1[Int]
+  def frob1[A](foo: Foo1[A]): A = foo match {
+    case Bar1() => 1
+  }
+}
+
+object HKGADT2 {
+  sealed trait Foo[F[_]]
+  final case class Bar() extends Foo[List]
+  final case class Baz() extends Foo[Set]
+
+  def frob[F[_]](foo: Foo[F]): F[Int] =
+    foo match {
+      case Bar() => List(1)
+      case Baz() => Set(1)
     }
 
   sealed trait Foo1[F]
   final case class Bar1() extends Foo1[Int]
-  def frob1[A](foo: Foo1[A]) = foo match {
+  final case class Baz1() extends Foo1[Boolean]
+  def frob1[A](foo: Foo1[A]): A = foo match {
     case Bar1() => 1
+    case Baz1() => true
   }
 }