1 files changed, 28 insertions, 0 deletions
diff --git a/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java b/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java
new file mode 100644
index 0000000..ae8d9c0
--- /dev/null
+++ b/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java
@@ -0,0 +1,28 @@
+package org.zwobble.couscous.tests.frontends.java;
+
+import org.junit.Test;
+import org.zwobble.couscous.frontends.java.JavaTypes;
+import org.zwobble.couscous.types.ScalarType;
+import org.zwobble.couscous.types.TypeParameter;
+
+import static org.junit.Assert.assertEquals;
+import static org.zwobble.couscous.types.BoundTypeParameter.boundTypeParameter;
+import static org.zwobble.couscous.types.TypeParameter.typeParameter;
+
+public class JavaTypesTests {
+    private static final ScalarType INT_TYPE = ScalarType.of("int");
+
+    @Test
+    public void bindingTypeToItselfReturnsType() {
+        assertEquals(
+            INT_TYPE,
+            JavaTypes.bind(INT_TYPE, INT_TYPE));
+    }
+    @Test
+    public void bindingTypeToGenericTypeParameterReturnsBoundTypeParameter() {
+        TypeParameter typeParameter = typeParameter(ScalarType.of("List"), "T");
+        assertEquals(
+            boundTypeParameter(typeParameter, INT_TYPE),
+            JavaTypes.bind(typeParameter, INT_TYPE));
+    }
+}