1 files changed, 17 insertions, 0 deletions
diff --git a/typecheck/tests/RetrieveInteger.java b/typecheck/tests/RetrieveInteger.java
new file mode 100644
index 0000000..036ad8b
--- /dev/null
+++ b/typecheck/tests/RetrieveInteger.java
@@ -0,0 +1,17 @@
+class RetrieveInteger{
+    public static void main(String[] a){
+        GetInteger i ;
+        int j ;
+
+        i = new GetInteger() ;
+        j = i.GetInteger() ;
+
+        System.out.println(j) ;
+    }
+}
+
+class GetInteger {
+    public int Get(){
+        return 4 ;
+    }
+}