diff --git a/zokrates_cli/examples/compile_errors/generics/return_generic_call_mismatch.zok b/zokrates_cli/examples/compile_errors/generics/return_generic_call_mismatch.zok
new file mode 100644
index 00000000..bd6b0847
--- /dev/null
+++ b/zokrates_cli/examples/compile_errors/generics/return_generic_call_mismatch.zok
@@ -0,0 +1,11 @@
+def bar() -> field[3] {
+    return [1, 2, 3];
+}
+
+def foo<N>() -> field[N] {
+    return bar();
+}
+
+def main() -> field[2] {
+    return foo();
+}
\ No newline at end of file