1 files changed, 13 insertions, 0 deletions
diff --git a/tiger-compiler/tests/object/type/incompatible-covariance.tig b/tiger-compiler/tests/object/type/incompatible-covariance.tig
new file mode 100755
index 0000000..0ef37f5
--- /dev/null
+++ b/tiger-compiler/tests/object/type/incompatible-covariance.tig
@@ -0,0 +1,13 @@
+let
+  class Shape {}
+  class Square extends Shape {}
+  class Circle extends Shape {}
+
+  function update_radius(circle : Circle) = ()
+
+  var a := new Square
+  var b := new Circle
+in
+  update_radius(b);
+  update_radius(a)
+end