diff --git a/jbmc/regression/jbmc/return-generic-member/Generic.class b/jbmc/regression/jbmc/return-generic-member/Generic.class
new file mode 100644
index 00000000000..5b4aa70ef4e
Binary files /dev/null and b/jbmc/regression/jbmc/return-generic-member/Generic.class differ
diff --git a/jbmc/regression/jbmc/return-generic-member/Test.class b/jbmc/regression/jbmc/return-generic-member/Test.class
new file mode 100644
index 00000000000..eee12112879
Binary files /dev/null and b/jbmc/regression/jbmc/return-generic-member/Test.class differ
diff --git a/jbmc/regression/jbmc/return-generic-member/Test.java b/jbmc/regression/jbmc/return-generic-member/Test.java
new file mode 100644
index 00000000000..dfb8ff26593
--- /dev/null
+++ b/jbmc/regression/jbmc/return-generic-member/Test.java
@@ -0,0 +1,11 @@
+public class Test {
+
+  public Generic<Integer> field;
+
+  public Generic<Integer> main() {
+    return field;
+  }
+
+}
+
+class Generic<T> { }
diff --git a/jbmc/regression/jbmc/return-generic-member/test.desc b/jbmc/regression/jbmc/return-generic-member/test.desc
new file mode 100644
index 00000000000..3b2d8745bdb
--- /dev/null
+++ b/jbmc/regression/jbmc/return-generic-member/test.desc
@@ -0,0 +1,13 @@
+CORE
+Test.class
+--function Test.main --validate-goto-model
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring
+--
+This test ensures that the member_exprt generated to return a qualified generic
+field has the correct type, otherwise we'll fail model validation.
+Prior to ec4160829cc9c22ff71e647dd2894439720ad89c we would have created a
+non-matching type (Generic<Integer> vs. Generic)