From 73b3279b19abdd8388aee3e142ef6e1a3c018ffc Mon Sep 17 00:00:00 2001 From: Dave Brosius Date: Thu, 23 Nov 2023 22:29:51 -0500 Subject: [PATCH] attempt to add case shown by #437 --- src/samples/java/ex/OPM_Sample.java | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/src/samples/java/ex/OPM_Sample.java b/src/samples/java/ex/OPM_Sample.java index 6668767c..e2476c54 100644 --- a/src/samples/java/ex/OPM_Sample.java +++ b/src/samples/java/ex/OPM_Sample.java @@ -105,3 +105,20 @@ public Boolean createRuleBatch(String s, String t) { return null; } } + +class GitHubIssue437 implements GHI437Inf { + + @Override + public Integer[] getObj(String type) { + return new Integer[0]; + } + + public void tryIt() { + GitHubIssue437 ghi = new GitHubIssue437(); + ghi.getObj(""); + } +} + +interface GHI437Inf { + Object getObj(String type); +}