From 67e1c5c7367c3db24c268a255ffe6f68d2352b3c Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Mon, 28 Mar 2016 01:26:53 +0200
Subject: [PATCH] 15ter testcase

---
 test/unify/FiniteClosureTest.java | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/test/unify/FiniteClosureTest.java b/test/unify/FiniteClosureTest.java
index 7c422bda..d1f99d60 100644
--- a/test/unify/FiniteClosureTest.java
+++ b/test/unify/FiniteClosureTest.java
@@ -377,11 +377,20 @@ public class FiniteClosureTest {
 		 * 
 		 * MyMap<K> <* HashMap<K, List<K>>
 		 * 
-		 * smaller(SortedSet<? extends Number, ? extends List<? extends Integer>) = 
-		 * { HashMap<? extends Integer>, List<Integer>>, 
-		 *   HashMap<? extends Number, List<Integer>>,
-		 *   MyMap<Integer, List<Integer>> }
+		 * smaller(NavigableSet<? extends Integer, ? extends ArrayList<? extends Integer>>) = 
+		 * { NavigableSet<? extends Integer, ? extends ArrayList<? extends Integer>>,
+		 *   NavigableSet<? extends Integer, ? extends ArrayList<Integer>>
+		 *   NavigableSet<? extends Integer, ArrayList<? extends Integer>>
+		 *   NavigableSet<? extends Integer, ArrayList<Integer>>
+		 *   TreeSet<? extends Integer, ? extends ArrayList<? extends Integer>>,
+		 *   TreeSet<? extends Integer, ? extends ArrayList<Integer>>
+		 *   TreeSet<? extends Integer, ArrayList<? extends Integer>>
+		 *   TreeSet<? extends Integer, ArrayList<Integer>> }
 		 */
+		
+		Type navSet = tf.getSimpleType("NavigableSet", extInt, tf.getExtendsType(tf.getSimpleType("ArrayList", extInt)));
+		
+		Assert.assertEquals(8, fc.smaller(navSet).size());	
 	}
 	
 	@Test