Test case for issue #58

typetools · May 9, 2022 · 2a1b480 · 2a1b480
1 parent e589c64
commit 2a1b480
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/checker/tests/regex_poly/StringBuilderToStringPolyRegex.java b/checker/tests/regex_poly/StringBuilderToStringPolyRegex.java
@@ -0,0 +1,10 @@
+// Test case for issue #58: https://tinyurl.com/cfissue/58
+
+import org.checkerframework.checker.regex.qual.Regex;
+
+class StringBuilderToStringPolyRegex {
+
+  void createPattern(final @Regex(1) StringBuilder regex) {
+    @Regex(1) String s = regex.toString();
+  }
+}