From 66a589faabc917712e265b7f72a86ce0530e09e4 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 2 Jun 2022 15:55:22 +0200
Subject: [PATCH] Add extends Test

---
 src/test/scala/IntegrationTest.scala | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/test/scala/IntegrationTest.scala b/src/test/scala/IntegrationTest.scala
index 75925e1..37dee87 100644
--- a/src/test/scala/IntegrationTest.scala
+++ b/src/test/scala/IntegrationTest.scala
@@ -89,4 +89,11 @@ class IntegrationTest extends FunSuite {
     assert(result.isRight)
     println(result.map(it => Main.prettyPrintAST(it)))
   }
+
+  test("extendsWithComplexType") {
+    val input = "class Pair<A extends Object, B extends Object> extends Object {}\n\nclass Test<A extends Object> extends Pair<Pair<A,A>,A> {\n\nm(a){return this;}\n\n\n}"
+    val result = FJTypeinference.typeinference(input)
+    assert(result.isRight)
+    println(result.map(it => Main.prettyPrintAST(it)))
+  }
 }